Pinned Repositories
caymon
A tool to generate Haskell monads from polynomial Cayley representations
corbusier
A set of Emacs themes based on Le Corbusier's Architectural Polychromy
cpp-effects
Effect handlers in C++
exotic-list-monads
A Haskell library with non-standard monads on lists and non-empty lists
fizz-buzz
Dissecting the most difficult trivial programming puzzle
fry
A toy declarative object-oriented programming language
grzb
A verifier for a simple imperative language powered by Z3
modules-over-monads
Haskell library for modules over monads, idealised monads, and ideal monads.
monoid-absorbing
Haskell library for (left, right) zero monoids and backtracking with cut
stg-in-coq
Towards a formally verified Haskell compiler
maciejpirog's Repositories
maciejpirog/cpp-effects
Effect handlers in C++
maciejpirog/monoid-absorbing
Haskell library for (left, right) zero monoids and backtracking with cut
maciejpirog/exotic-list-monads
A Haskell library with non-standard monads on lists and non-empty lists
maciejpirog/fizz-buzz
Dissecting the most difficult trivial programming puzzle
maciejpirog/fry
A toy declarative object-oriented programming language
maciejpirog/grzb
A verifier for a simple imperative language powered by Z3
maciejpirog/caymon
A tool to generate Haskell monads from polynomial Cayley representations
maciejpirog/stg-in-coq
Towards a formally verified Haskell compiler
maciejpirog/modules-over-monads
Haskell library for modules over monads, idealised monads, and ideal monads.
maciejpirog/corbusier
A set of Emacs themes based on Le Corbusier's Architectural Polychromy
maciejpirog/yatta
YATTA: Yet Another Tool for Text Analysis - A toy bootstrapped parser generator
maciejpirog/coq-snippets
Pearly Coq one-filers
maciejpirog/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
maciejpirog/haskell-snippets
Pearly Haskell one-filers
maciejpirog/maciejpirog.github.io
My github webpage