There are no reviews yet. Be the first to send feedback to the community and the maintainers!
why-dependent-types-matter
Companion code for "Why Dependent Types Matter" paper.haskell-testing-stub
Stub project showing how to organize tests and benchmarks in Haskelldc-card-maker-script
Dreamcast GDMenu maker script for Linuxdep-typed-wbl-heaps
Verifying weight biased leftist heaps using dependent types in Agdadep-typed-wbl-heaps-hs
Weight-biased Leftist Heaps verified in Haskell using dependent typeshashlink-launcher
Launch hashlink bytecode programs with an .exe filelattice-structure-hs
Lattice structure in Haskellskye-dsh
Companion code for paper "Language-integrated Provenance in Haskell", Jan Stolarek and James Cheney, The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 3, Article 11pso-calc
Phantasy Star Online Section ID CalculatorsekcjaPF
Sekcja Programowania Funkcyjnego studenckiego koΕa naukowego KINopractical-programming-with-dependent-types
Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.tasty-program
Run tasty tests that check whether a program executes correctlyLove Open Source and this site? Check out how you can help us