jozefg Goto Github PK
Name: daniel gratzer
Type: User
Bio: I am a researcher interested in type theory and category theory.
Location: Aarhus
daniel gratzer's Projects
a-short-talk-on-iris
The notes for a short talk given on Iris in a seminar on concurrent separation logic at Carnegie Mellon.
an-addendum-to-first-steps
A small note I wanted to keep track of on First Steps in Synthetic Guarded Domain Theory
blog
the source for jozefg.bitbucket.org
blott
An experimental type checker for a modal dependent type theory.
bound-gen
Making bound play nice with monad-gen.
c-dsl
a dsl for generating C
c_of_scheme
a lousy scheme compiler
classical-realizability
Notes on a realizability model for a classical logic
cmlib
A basic library of algorithms and data structures (a la NJlib)
concurrent-stack-with-helping
A case study in Iris formalizing a concurrent stack with helping.
cooked-pi
What if we built the same frustrating type checker over and over again? For science.
ctt.elf
Probably wrong formalization of computational type theory in Twelf.
cubicaltt
Experimental implementation of Cubical Type Theory
cut.elf
A proof of cut elimination for a boring logic in a not boring metatheory
drafts
Drafts of posts for my blog
ds-kanren
a tiny logic programming language
effective-topos
Notes on the effective topos and related subjects.
emacs.d
my emacs config
f2js
A compiler in need of a better name
fibrational-semantics
Notes on simple fibrational semantics.
folds
Folds and sequence algebras
folds-common
A conglomeration of folds.
generic-church
automatic church encodings
graph-models
Notes on P-omega
hasquito
a dysfunctional compiler to javascript
hello-world
Hello world in every programming language. Thanks to everyone who contributes to this, I merge all pull requests!
hi
A toy interpreter for Haskell
higher-order-unification
A small implementation of higher-order unification
hlf
an implementation of LF
hm
A small implementation of type inference
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.