Discover @jstolarek Open Source projects

Jan Stolarek (@jstolarek)

jstolarek

Stars
138
Global Rank 163,793 (Top 6 %)
Followers 73
Following 7
Registered over 12 years ago
Most used languages

Haskell
53.8 %

Agda 15.4 %

Python
7.7 %

TeX
7.7 %

C#
7.7 %

C
7.7 %
Location 🇬🇧 United Kingdom
Country Total Rank 7,267
Country Ranking

Agda 6

Haskell
105

TeX
377

C
3,249

C#
3,330

Python
4,912

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 Haskell

dc-card-maker-script

Dreamcast GDMenu maker script for Linux

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

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

lattice-structure-hs

Lattice structure in Haskell

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

pso-calc

Phantasy Star Online Section ID Calculator

sekcjaPF

Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo

practical-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 correctly