Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
depsterr / implicitt
OCaml 0 0

Updated 3 weeks ago

depsterr / pi
Idris 0 0

Updated 1 month ago

depsterr / depsterr.com
HTML 0 0

the sources for

Updated 2 months ago

depsterr / kino
Haskell 0 0

Updated 3 months ago

depsterr / an-algorithm-for-checking-dependent-types
Haskell 0 0

"modern" haskell implementation of the algorithm described in the paper of the same name.

Updated 5 months ago

depsterr / hm
Haskell 0 0

Updated 5 months ago

depsterr / constructive-analysis-in-agda
Agda 0 0

Updated 5 months ago

depsterr / viddl
Haskell 0 0

Updated 6 months ago

depsterr / old-depsterr.com
Shell 0 0

previous sources for

Updated 8 months ago

depsterr / sexprml
Haskell 0 0

Updated 8 months ago

depsterr / mpdart
C 0 0

Updated 8 months ago

depsterr / secd
C 0 0

Updated 8 months ago