Andrey Mokhov (@snowleopard)
github

snowleopard

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,665
  • Global Rank 18,593 (Top 0.7 %)
  • Followers 412
  • Following 12
  • Registered over 13 years ago
  • Most used languages
    Haskell
         56.3 %
    TeX
         37.5 %
    OCaml
         6.3 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 928
  • Country Ranking
    Haskell
         9
    TeX
         11
    OCaml
         54

Top repositories

1

alga

Algebraic graphs
Haskell
707
star
2

build

Build Systems à la Carte
TeX
244
star
3

hadrian

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

selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
TeX
202
star
5

alga-paper

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

selective-ocaml

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

stroll

Stroll: an experimental build system
TeX
37
star
8

united

United Monoids
TeX
24
star
9

graph-algebra

A simple graph algebra
Haskell
7
star
10

cats

Musings on category theory
Haskell
7
star
11

ideas

Just a playground
Haskell
5
star
12

bbforce

Boolean Brute Force
Haskell
4
star
13

linear

Complexity of Linear Operators
TeX
2
star
14

mk-miner

Makefile miner
Haskell
2
star
15

tuura

A platform for collaborative evaluation of algorithms.
1
star
16

notes

Just some random public notes
1
star
17

bench-graph

Bench Graph
Haskell
1
star
18

fib-concat-primes

Generating Fibonacci concat primes
Haskell
1
star