Name: Jan Stolarek
Type: User
Company: BinarApps sp. z o.o.
Bio: I am a Haskell Developer at BinarApps. My main focus are functional programming languages.
Location: Łódź, Poland
algebra-dag
Haskell infrastructure for constructing and rewriting plans of algebraic operators.
algebra-sql
Relational algebra and SQL code generation
cherry-jam
My repo for Ludum Dare (and other jams) game sources
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
dsh
Database-Supported Haskell
dsh-example-queries
A collection of database query examples using Database-Supported Haskell (DSH)
dsh-sql
SQL backend for Database-Supported Haskell (DSH)
fremenzone
Źródła serwisu Fremen Zone, poświęconego "Diunie" Franka Herberta.
ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
hashlink-launcher
Launch hashlink bytecode programs with an .exe file
haskell-testing-stub
Stub project showing how to organize tests and benchmarks in Haskell
heaps
Heaps : Haxe Game Framework
hexlog
Logging system inspired by log4j written in Haxe
img4dc
Slightly patched version of img4dc tools
inferno
Mirrored from https://gitlab.inria.fr/fpottier/inferno
jstolarek.github.io
lattice-structure-hs
Lattice structure in Haskell
ldjam-46
Just a Stroll. Ludum Dare 46 entry
ldjam-47
Ludum Dare 47 entry
practical-programming-with-dependent-types
Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.
pso-calc
Phantasy Star Online Section ID Calculator
sekcjapf
Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo
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
tasty-hunit-adapter
Import existing HUnit tests into tasty
tasty-program
Run tasty tests that check whether a program executes correctly
why-dependent-types-matter
Companion code for "Why Dependent Types Matter" paper.
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
