Discover your Favorite Language
Awesome repositories
Rankings by Country
why-dependent-types-matter
haskell-testing-stub
dc-card-maker-script
slicer
dep-typed-wbl-heaps
dep-typed-wbl-heaps-hs
hashlink-launcher
lattice-structure-hs
skye-dsh
pso-calc
sekcjaPF
practical-programming-with-dependent-types
tasty-program
Love Open Source and this site? Check out how you can help us