Beast code in Giters

Maciej Piróg's repositories

Effect handlers in C++

Language:C++MIT115 50

Haskell library for (left, right) zero monoids and backtracking with cut

Language:HaskellMIT6 2 1

A Haskell library with non-standard monads on lists and non-empty lists

Language:HaskellMIT4 40

Dissecting the most difficult trivial programming puzzle

Language:C4 20

A toy declarative object-oriented programming language

Language:HaskellMIT4 20

A verifier for a simple imperative language powered by Z3

Language:RacketMIT4 20

A tool to generate Haskell monads from polynomial Cayley representations

Language:JavaScriptMIT3 20

Towards a formally verified Haskell compiler

Language:Coq3 20

Haskell library for modules over monads, idealised monads, and ideal monads.

Language:HaskellMIT2 10

A set of Emacs themes based on Le Corbusier's Architectural Polychromy

Language:Emacs LispMIT1 20

YATTA: Yet Another Tool for Text Analysis - A toy bootstrapped parser generator

Language:C++MIT1 20

Pearly Coq one-filers

Language:CoqMIT020

A collaborative bibliography of work related to the theory and practice of computational effects

020

Pearly Haskell one-filers

Language:HaskellMIT020

My github webpage

Language:HTML000