snowleopard
Follow
-
alga Public
Algebraic graphs
-
-
selective Public
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
-
-
-
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedFeb 26, 2024 -
-
-
haskellfoundation.github.io Public
Forked from haskellfoundation/haskellfoundation.github.ioThe Haskell Foundation website, hosted by GitHub Pages.
HTML Other UpdatedFeb 13, 2023 -
-
-
alga-paper Public
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
-
-
duniverse Public
Forked from tarides/opam-monorepoDuniverse is the spice of OCaml build life
OCaml ISC License UpdatedSep 8, 2020 -
Haxl Public
Forked from facebook/HaxlA Haskell library that simplifies access to remote data, such as databases or web-based services.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 26, 2019 -
selective-ocaml Public
Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically
-
hadrian Public archive
Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
-
-
-
notes Public
Just some random public notes
-
bench-graph Public
Bench Graph
-
-
workcraft Public
Forked from workcraft/workcraftToolset to capture, simulate, synthesize and verify graph models
Java GNU General Public License v3.0 UpdatedMay 24, 2016 -
-
fib-concat-primes Public
Generating Fibonacci concat primes
-
-