Discover @maciejpirog Open Source projects

Maciej Piróg (@maciejpirog)

maciejpirog

Stars
146
Global Rank 156,945 (Top 6 %)
Followers 27
Following 3
Registered about 11 years ago
Most used languages

Haskell
36.4 %

C++
18.2 %

C
9.1 %

Emacs Lisp
9.1 %

Coq 9.1 %

JavaScript
9.1 %

Racket
9.1 %

cpp-effects

Effect handlers in C++

monoid-absorbing

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

exotic-list-monads

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

fry

A toy declarative object-oriented programming language

grzb

A verifier for a simple imperative language powered by Z3

stg-in-coq

Towards a formally verified Haskell compiler

caymon

A tool to generate Haskell monads from polynomial Cayley representations

fizz-buzz

Dissecting the most difficult trivial programming puzzle

modules-over-monads

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

yatta

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

corbusier

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