jstolarek
I am a Haskell Developer at BinarApps. My main focus are functional programming languages.
BinarApps sp. z o.o.Łódź, Poland
Pinned Repositories
dc-card-maker-script
Dreamcast GDMenu maker script for Linux
dep-typed-wbl-heaps
Verifying weight biased leftist heaps using dependent types in Agda
dep-typed-wbl-heaps-hs
Weight-biased Leftist Heaps verified in Haskell using dependent types
hashlink-launcher
Launch hashlink bytecode programs with an .exe file
haskell-testing-stub
Stub project showing how to organize tests and benchmarks in Haskell
lattice-structure-hs
Lattice structure in Haskell
pso-calc
Phantasy Star Online Section ID Calculator
skye-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 11
slicer
Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
why-dependent-types-matter
Companion code for "Why Dependent Types Matter" paper.
jstolarek's Repositories
jstolarek/why-dependent-types-matter
Companion code for "Why Dependent Types Matter" paper.
jstolarek/haskell-testing-stub
Stub project showing how to organize tests and benchmarks in Haskell
jstolarek/dc-card-maker-script
Dreamcast GDMenu maker script for Linux
jstolarek/slicer
Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
jstolarek/dep-typed-wbl-heaps
Verifying weight biased leftist heaps using dependent types in Agda
jstolarek/dep-typed-wbl-heaps-hs
Weight-biased Leftist Heaps verified in Haskell using dependent types
jstolarek/hashlink-launcher
Launch hashlink bytecode programs with an .exe file
jstolarek/lattice-structure-hs
Lattice structure in Haskell
jstolarek/skye-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 11
jstolarek/pso-calc
Phantasy Star Online Section ID Calculator
jstolarek/dsh
Database-Supported Haskell
jstolarek/practical-programming-with-dependent-types
Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.
jstolarek/sekcjaPF
Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo
jstolarek/tasty-program
Run tasty tests that check whether a program executes correctly
jstolarek/ldjam-46
Just a Stroll. Ludum Dare 46 entry
jstolarek/ldjam-47
Ludum Dare 47 entry
jstolarek/algebra-dag
Haskell infrastructure for constructing and rewriting plans of algebraic operators.
jstolarek/algebra-sql
Relational algebra and SQL code generation
jstolarek/cherry-jam
My repo for Ludum Dare (and other jams) game sources
jstolarek/dsh-example-queries
A collection of database query examples using Database-Supported Haskell (DSH)
jstolarek/dsh-sql
SQL backend for Database-Supported Haskell (DSH)
jstolarek/fremenzone
Źródła serwisu Fremen Zone, poświęconego "Diunie" Franka Herberta.
jstolarek/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
jstolarek/heaps
Heaps : Haxe Game Framework
jstolarek/hexLog
Logging system inspired by log4j written in Haxe
jstolarek/img4dc
Slightly patched version of img4dc tools
jstolarek/inferno
Mirrored from https://gitlab.inria.fr/fpottier/inferno
jstolarek/jstolarek.github.io
jstolarek/tasty-hunit-adapter
Import existing HUnit tests into tasty