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 Agdaslicer
Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UKdep-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 11sekcjaPF
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