Андреев Кирилл's repositories
unification-xd
Attempt to refresh and understand unification-fd
components
Haskelly way to S, maybe O and D in SOLID
dual-effects
Yet another experiment on effect systems
move-it-dammit
Minecraft mod, analog of Red Power 2
bnfc
BNF Converter
Language:TeX000
Language:AgdaNOASSERTION000
cursed-sands
Liquid simulator
elm-optics
A faithful for of `lens` to Elm
Language:ElmBSD-3-Clause000
elm-parser
A parsing combinator library for Elm language
implicits-module-system
Work on modular implicits
light-maze
Minecraft mod about optics
monoidal-map
Data.Map wrapper with Monoid/Semigroup instance that honors values
Language:Haskell000
mptc
Implementation of typeclass resolution
Language:Haskell000
rocksdb-haskell
Haskell bindings to RocksDB (http://rocksdb.org)
Language:HaskellBSD-3-Clause000
tea-combine
Combinator library for building "The Elm Arcitecture"-powered applications with ease
Language:ElmMIT000