snowleopard

From engineering to abstract mathematics and back

Jane StreetUK

Pinned Repositories

ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
Language:Haskell3k 144 0704
dune
A composable build system for OCaml.
Language:OCaml1.6k 38 2.9k389
alga
Algebraic graphs
Language:Haskell707 22 11167
alga-paper
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
Language:TeX186 10 14
build
Build Systems à la Carte
Language:TeX233 12 617
hadrian
Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
Language:Haskell208 18 41639
selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
Language:TeX201 11 1821
selective-ocaml
Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
Language:OCaml39 4 11
stroll
Stroll: an experimental build system
Language:TeX36 7 11
united
United Monoids
Language:TeX24 5 03

snowleopard's Repositories

snowleopard/alga
Algebraic graphs
Language:Haskell707 22 11167
snowleopard/build
Build Systems à la Carte
Language:TeX233 12 617
snowleopard/hadrian
Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
Language:Haskell208 18 41639
snowleopard/selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
Language:TeX201 11 1821
snowleopard/alga-paper
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
Language:TeX186 10 14
snowleopard/selective-ocaml
Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
Language:OCaml39 4 11
snowleopard/stroll
Stroll: an experimental build system
Language:TeX36 7 11
snowleopard/united
United Monoids
Language:TeX24 5 03
snowleopard/cats
Musings on category theory
Language:Haskell7 4 0
snowleopard/graph-algebra
A simple graph algebra
Language:Haskell7 3 02
snowleopard/ideas
Just a playground
Language:Haskell5 4 0
snowleopard/bbforce
Boolean Brute Force
Language:Haskell4 3 01
snowleopard/linear
Complexity of Linear Operators
Language:TeX2 3 00
snowleopard/mk-miner
Makefile miner
Language:Haskell2 3 0
snowleopard/bench-graph
Bench Graph
Language:Haskell1 2 0
snowleopard/fib-concat-primes
Generating Fibonacci concat primes
Language:Haskell1 3 0
snowleopard/notes
Just some random public notes
1 2 0
snowleopard/tuura
A platform for collaborative evaluation of algorithms.
1 3 0
snowleopard/dune
A composable build system for OCaml.
Language:OCaml1 0
snowleopard/dune-www
Website for dune.build
Language:SCSS1 0
snowleopard/duniverse
Duniverse is the spice of OCaml build life
Language:OCaml1 0
snowleopard/haskellfoundation.github.io
The Haskell Foundation website, hosted by GitHub Pages.
snowleopard/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
Language:Haskell3 0
snowleopard/live
Live programming sessions
Language:JavaScript2 0
snowleopard/neil
General tools for Neil
Language:Haskell1 0
snowleopard/shake
Shake build system
Language:Haskell2 0
snowleopard/workcraft
Toolset to capture, simulate, synthesize and verify graph models
Language:Java2 0
snowleopard/zfoh.ch
Our homepage
Language:JavaScript1 0