GitPlanet
All Git Users → jozefg

6 open source projects by jozefg

[ Open user page on Github ]
1. Higher Order Unification
A small implementation of higher-order unification
✭ 144
haskell
2. Blott
An experimental type checker for a modal dependent type theory.
✭ 90
ocaml
3. Hm
A small implementation of type inference
✭ 72
4. undergraduate-thesis
A discouraging story.
✭ 15
TeX
5. graph-models
Notes on P-omega
✭ 14
TeX
6. learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
✭ 1,651
1-6 of 6 user projects