Giters
Jan Stolarek (jstolarek)

jstolarek

Geek Repo

73

followers

7

following

19

stars

Company:BinarApps sp. z o.o.

Location:Łódź, Poland

Home Page:https://jstolarek.github.io/

Github PK Tool:Github PK Tool

Jan Stolarek's repositories

why-dependent-types-matter

Companion code for "Why Dependent Types Matter" paper.

Language:AgdaStargazers:60Issues:6Issues:0

haskell-testing-stub

Stub project showing how to organize tests and benchmarks in Haskell

Language:HaskellLicense:CC0-1.0Stargazers:26Issues:4Issues:2

dc-card-maker-script

Dreamcast GDMenu maker script for Linux

Language:PythonStargazers:18Issues:5Issues:3

dep-typed-wbl-heaps

Verifying weight biased leftist heaps using dependent types in Agda

Language:TeXLicense:BSD-3-ClauseStargazers:6Issues:4Issues:4

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

Language:HaskellLicense:GPL-3.0Stargazers:6Issues:5Issues:61

dep-typed-wbl-heaps-hs

Weight-biased Leftist Heaps verified in Haskell using dependent types

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:2Issues:1

hashlink-launcher

Launch hashlink bytecode programs with an .exe file

Language:C#License:WTFPLStargazers:4Issues:3Issues:0

lattice-structure-hs

Lattice structure in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:2Issues:1

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

Language:HaskellStargazers:3Issues:2Issues:0

pso-calc

Phantasy Star Online Section ID Calculator

Language:CLicense:GPL-3.0Stargazers:2Issues:2Issues:0

dsh

Database-Supported Haskell

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:2Issues:8

practical-programming-with-dependent-types

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

Language:AgdaStargazers:1Issues:2Issues:0

sekcjaPF

Sekcja Programowania Funkcyjnego studenckiego koła naukowego KINo

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:3Issues:0

tasty-program

Run tasty tests that check whether a program executes correctly

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:4

ldjam-46

Just a Stroll. Ludum Dare 46 entry

Language:HaxeLicense:MITStargazers:0Issues:5Issues:0

ldjam-47

Ludum Dare 47 entry

Language:HaxeLicense:MITStargazers:0Issues:5Issues:0

algebra-dag

Haskell infrastructure for constructing and rewriting plans of algebraic operators.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

algebra-sql

Relational algebra and SQL code generation

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cherry-jam

My repo for Ludum Dare (and other jams) game sources

Language:HaxeLicense:MITStargazers:0Issues:1Issues:0

dsh-example-queries

A collection of database query examples using Database-Supported Haskell (DSH)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

dsh-sql

SQL backend for Database-Supported Haskell (DSH)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

fremenzone

Źródła serwisu Fremen Zone, poświęconego "Diunie" Franka Herberta.

Language:ShellStargazers:0Issues:1Issues:0

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:185

heaps

Heaps : Haxe Game Framework

License:MITStargazers:0Issues:0Issues:0

hexLog

Logging system inspired by log4j written in Haxe

Language:HaxeLicense:MITStargazers:0Issues:1Issues:0

img4dc

Slightly patched version of img4dc tools

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

inferno

Mirrored from https://gitlab.inria.fr/fpottier/inferno

Language:OCamlLicense:MITStargazers:0Issues:5Issues:40

jstolarek.github.io

Language:TeXStargazers:0Issues:0Issues:0

tasty-hunit-adapter

Import existing HUnit tests into tasty

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0