Repositories Users Organizations

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

Search

depsterr / pi

Idris 0 0

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

depsterr / hm

Haskell 0 0

Updated 4 weeks ago

depsterr / constructive-analysis-in-agda

Agda 0 0

Updated 1 month ago

depsterr / depsterr.com

SCSS 0 0

the sources for

Updated 2 months ago

depsterr / viddl

Haskell 0 0

Updated 3 months ago

depsterr / old-depsterr.com

Shell 0 0

previous sources for

Updated 4 months ago

depsterr / sexprml

Haskell 0 0

Updated 4 months ago

depsterr / kino

Haskell 0 0

Updated 4 months ago

depsterr / mpdart

C 0 0

Updated 4 months ago

depsterr / secd

C 0 0

Updated 4 months ago