snowleopard

Andrey Mokhov's repositories

alga

Algebraic graphs

Language:HaskellMIT707 22 111

build

Build Systems à la Carte

Language:TeXMIT233 13 6

hadrian

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

Language:HaskellMIT208 18 416

selective

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

Language:TeXMIT201 11 18

alga-paper

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

Language:TeX186 10 1

selective-ocaml

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

Language:OCamlMIT39 4 1

stroll

Stroll: an experimental build system

Language:TeXMIT36 7 1

united

United Monoids

Language:TeXMIT24 50

cats

Musings on category theory

Language:HaskellMIT7 40

graph-algebra

A simple graph algebra

Language:HaskellMIT7 30

ideas

Just a playground

Language:HaskellMIT5 40

bbforce

Boolean Brute Force

Language:Haskell4 30

linear

Complexity of Linear Operators

Language:TeX2 30

mk-miner

Makefile miner

Language:HaskellUnlicense2 30

bench-graph

Bench Graph

Language:HaskellBSD-3-Clause1 20

fib-concat-primes

Generating Fibonacci concat primes

Language:HaskellUnlicense1 30

notes

Just some random public notes

BSD-3-Clause1 20

tuura

A platform for collaborative evaluation of algorithms.

1 30

dune

A composable build system for OCaml.

Language:OCamlMIT010

dune-www

Website for dune.build

Language:SCSS010

duniverse

Duniverse is the spice of OCaml build life

Language:OCamlISC010

haskellfoundation.github.io

The Haskell Foundation website, hosted by GitHub Pages.

NOASSERTION000

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Language:HaskellBSD-3-Clause030

live

Live programming sessions

Language:JavaScriptMIT020

neil

General tools for Neil

Language:HaskellNOASSERTION010

shake

Shake build system

Language:HaskellNOASSERTION020

workcraft

Toolset to capture, simulate, synthesize and verify graph models

Language:JavaGPL-3.0020

zfoh.ch

Our homepage

Language:JavaScriptNOASSERTION010