Profile
- Location
- Łódź, Poland
- City
- Łódź
- Public repositories
- 29
GitHub badge
[](https://polish-open-source.pl/latest)
GitHub
Ranking metrics
Snapshot:
- Stars
- 136
- New stars
- 0
- Events
- 0
- Polish Elite
- contender
Best projects
Companion code for "Why Dependent Types Matter" paper.
- Stars
- 60
- New stars
- 0
- Language
- Agda
Stub project showing how to organize tests and benchmarks in Haskell
- Stars
- 26
- New stars
- 0
- Language
- Haskell
Dreamcast GDMenu maker script for Linux
- Stars
- 18
- New stars
- 0
- Language
- Python
Verifying weight biased leftist heaps using dependent types in Agda
- Stars
- 6
- New stars
- 0
- Language
- TeX
Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
- Stars
- 6
- New stars
- 0
- Language
- Haskell
Weight-biased Leftist Heaps verified in Haskell using dependent types
- Stars
- 5
- New stars
- 0
- Language
- Haskell