Андреев Кирилл

LR. LR(1) parser generator

descent. An analog for `multiplate`

Slicer. Slice-viewer for blocky 3d constructs.

unification-xd. Attempt to refresh and understand unification-fd

f-omega. A "what I can squeeze" out of type inference with type-in-type, RankN and impredicativity.

zipp. Zipper for any datatype

december. Core language

DNL. Definitely Not Lisp

dual-effects. Yet another experiment on effect systems

Verify. Yet another test framework

chainsaw. Haskell

ignus. The variant (dialect) for morte language implementation.

move-it-dammit. Minecraft mod, analog of Red Power 2

dndlist. DnD char list, elm experiments

components. Haskelly way to S, maybe O and D in SOLID

crappy-to-js-compiler. Crappy compiler of ocaml-- to js

raycast. Haskell