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
pi
Idris 0 0

Updated 2 weeks 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 2 weeks ago

hm
Haskell 0 0

Updated 4 weeks ago

constructive-analysis-in-agda
Agda 0 0

Updated 1 month ago

depsterr.com
SCSS 0 0

the sources for

Updated 2 months ago

viddl
Haskell 0 0

Updated 3 months ago

old-depsterr.com
Shell 0 0

previous sources for

Updated 4 months ago

sexprml
Haskell 0 0

Updated 4 months ago

kino
Haskell 0 0

Updated 4 months ago

mpdart
C 0 0

Updated 4 months ago

secd
C 0 0

Updated 4 months ago