jstolarek/sekcjaPF
Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo
Developer Profile
jstolarek
Discovered public repositories for jstolarek in the GitHub catalog.
jstolarek/dep-typed-wbl-heaps-hs
Weight-biased Leftist Heaps verified in Haskell using dependent types
jstolarek/lattice-structure-hs
Lattice structure in Haskell
jstolarek/tasty-program
Run tasty tests that check whether a program executes correctly
jstolarek/tasty-hunit-adapter
Import existing HUnit tests into tasty
jstolarek/practical-programming-with-dependent-types
Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.
jstolarek/why-dependent-types-matter
Companion code for "Why Dependent Types Matter" paper.
jstolarek/dep-typed-wbl-heaps
Verifying weight biased leftist heaps using dependent types in Agda
jstolarek/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
jstolarek/haskell-testing-stub
Stub project showing how to organize tests and benchmarks in Haskell