Andrey Mokhov

alga. Algebraic graphs

build. Build Systems à la Carte

selective. Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

hadrian. Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

alga-paper. A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

selective-ocaml. Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically

stroll. Stroll: an experimental build system

united. United Monoids

cats. Musings on category theory

graph-algebra. A simple graph algebra

ideas. Just a playground

bbforce. Boolean Brute Force

mk-miner. Makefile miner

linear. Complexity of Linear Operators

fib-concat-primes. Generating Fibonacci concat primes

tuura. A platform for collaborative evaluation of algorithms.

bench-graph. Bench Graph

notes. Just some random public notes