depsterr
  • Joined on Jan 22, 2022
Repositories Public Activity Starred Repositories Following Followers
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
implicitt
OCaml 0 0

Updated 3 weeks ago

pi
Idris 0 0

Updated 1 month ago

depsterr.com
HTML 0 0

the sources for

Updated 2 months ago

kino
Haskell 0 0

Updated 3 months ago

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

hm
Haskell 0 0

Updated 5 months ago

constructive-analysis-in-agda
Agda 0 0

Updated 5 months ago

viddl
Haskell 0 0

Updated 6 months ago

old-depsterr.com
Shell 0 0

previous sources for

Updated 8 months ago

sexprml
Haskell 0 0

Updated 8 months ago

mpdart
C 0 0

Updated 8 months ago

secd
C 0 0

Updated 8 months ago