78 Repositories
learn-tt
2429
higher-order-unification
192
nbe-for-mltt
133
pcf
127
blott
116
hm
80
miniprl
50
wiki-summary.el
35
undergraduate-thesis
17
graph-models
14
modal
9
sml-fingertree
8
cooked-pi
8
independence-of-the-continuum-hypothesis
7
c-dsl
7
register-alloc
6
fibrational-semantics
6
sml-kanren
5
hlf
5
secret-notes
4
hi
4
ds-kanren
4
concurrent-stack-with-helping
4
sml-abt-unify
3
emacs.d
3
classical-realizability
3
blog
3
sml-higher-order-matching
2
simple-abt
2
regex
2
oplss
2
monad-gen
2
kripke
2
JonPRL
2
hotc
2
hasquito
2
generic-church
2
folds-common
2
effective-topos
2
drafts
2
c_of_scheme
2
ctt.elf
2
bound-gen
2
a-short-talk-on-iris
2
sml-lcf
1
reified-records
1
jozefg.github.io
1
iris-project
1
f2js
1
UniMath
0