There are no reviews yet. Be the first to send feedback to the community and the maintainers!
nix-optics
reading
monadoptics
Profunctor optics for the endofunctor category on Hasknatch
Natural pattern matching in JSfp
Principled functional programming for JSadt
A simple library for defining ADTsbitmap-fonts
init-haskell
A script for setting up Haskell projects with Nixhalfsp
all-hls
elect
co-optics
Two optics for the price of onemonoidal
proppie
selectivemonoidal
A selective functor is two lax monoidal functors standing on top of each other wearing a trench coatgrimoire
filterable
A simple account of "filterability" using category theoryulc
Untyped lambda calculusdo
General purpose do-notation for JSpmatch
ML-like pattern matching syntax for ADTstensorfold
Folding type level data structures into variants and recordsoptix
infix
Infix application trick for JSrecordlens
cellular_critters
Experimenting with recursion schemes, infinite lists, spiral iterators, and automatanewlenses
todo
things i have to dohappy_proxy
automonad.hs
Solving mtl's n*m instances problemfp-io
agda-learning
snapdom2
rigmonoids
pluckingadjunction
dumbrecords
papers
nanoparsec.js
biparser
questiongraph
freert-effs
representable
transact
Experiments in effectful state transitionsfreert
treesascontainers
tmpfoo
coproducts
test_haskell_diff
me597
ME 597 lab codesanctuary_profiling
linalg
Linear algebra using the category of vector spacesarrowstrongmonad
rule110
enrichment
Love Open Source and this site? Check out how you can help us