This page is built on Hakyll. Building and running a local server:
cabal run site clean && cabal run --constraint="hakyll +previewserver" -- site watch
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
Haskell infrastructure for constructing and rewriting plans of algebraic operators.
Relational algebra and SQL code generation
My repo for Ludum Dare (and other jams) game sources
Dreamcast GDMenu maker script for Linux
Verifying weight biased leftist heaps using dependent types in Agda
Weight-biased Leftist Heaps verified in Haskell using dependent types
Database-Supported Haskell
A collection of database query examples using Database-Supported Haskell (DSH)
SQL backend for Database-Supported Haskell (DSH)
Źródła serwisu Fremen Zone, poświęconego "Diunie" Franka Herberta.
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
Launch hashlink bytecode programs with an .exe file
Stub project showing how to organize tests and benchmarks in Haskell
Heaps : Haxe Game Framework
Logging system inspired by log4j written in Haxe
Slightly patched version of img4dc tools
Mirrored from https://gitlab.inria.fr/fpottier/inferno
Lattice structure in Haskell
Just a Stroll. Ludum Dare 46 entry
Ludum Dare 47 entry
Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.
Phantasy Star Online Section ID Calculator
Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo
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
Companion code for paper "Imperative Functional Programs that Explain their Work", Wilmer Ricciotti, Jan Stolarek, Roly Perera and James Cheney, ICFP 2017, Oxford, UK
Import existing HUnit tests into tasty
Run tasty tests that check whether a program executes correctly
Companion code for "Why Dependent Types Matter" paper.
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 is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
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.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.