Jan Stolarek (@jstolarek)
github

jstolarek

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    138
  • Global Rank 162,980 (Top 6 %)
  • Followers 73
  • Following 7
  • Registered over 12 years ago
  • Most used languages
    Haskell
         53.8 %
    Agda     15.4 %
    C
         7.7 %
    Python
         7.7 %
    C#
         7.7 %
    TeX
         7.7 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 7,267
  • Country Ranking
    Agda     6
    Haskell
         109
    TeX
         364
    C#
         3,242
    C
         3,782
    Python
         4,881

Top repositories

1

why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.
Agda
60
star
2

haskell-testing-stub

Stub project showing how to organize tests and benchmarks in Haskell
Haskell
26
star
3

dc-card-maker-script

Dreamcast GDMenu maker script for Linux
Python
18
star
4

dep-typed-wbl-heaps

Verifying weight biased leftist heaps using dependent types in Agda
TeX
6
star
5

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
Haskell
6
star
6

dep-typed-wbl-heaps-hs

Weight-biased Leftist Heaps verified in Haskell using dependent types
Haskell
5
star
7

hashlink-launcher

Launch hashlink bytecode programs with an .exe file
C#
4
star
8

lattice-structure-hs

Lattice structure in Haskell
Haskell
4
star
9

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
Haskell
3
star
10

pso-calc

Phantasy Star Online Section ID Calculator
C
2
star
11

sekcjaPF

Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo
Haskell
1
star
12

practical-programming-with-dependent-types

Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.
Agda
1
star
13

tasty-program

Run tasty tests that check whether a program executes correctly
Haskell
1
star