Asad Saeeduddin

bitmap-fonts. Shell

nix-optics. Nix

reading.

monadoptics. Profunctor optics for the endofunctor category on Hask

win-sshfs. Fork of http://code.google.com/p/win-sshfs/

natch. Natural pattern matching in JS

fp. Principled functional programming for JS

adt. A simple library for defining ADTs

selectivemonoidal. A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat

halfsp. Haskell

init-haskell. A script for setting up Haskell projects with Nix

monoidal. Haskell

all-hls. Haskell

elect. Nix

co-optics. Two optics for the price of one

filterable. A simple account of "filterability" using category theory

grimoire. Haskell

proppie. Haskell

ulc. Untyped lambda calculus

do. General purpose do-notation for JS

tensorfold. Folding type level data structures into variants and records

pmatch. ML-like pattern matching syntax for ADTs

newlenses. Haskell

recordlens. JavaScript

optix. JavaScript

cellular_critters. Experimenting with recursion schemes, infinite lists, spiral iterators, and automata

infix. Infix application trick for JS

rigmonoids. Haskell

fp-io. JavaScript

validation. Haskell

agda-learning. Agda

snapdom2. JavaScript

automonad.hs. Solving mtl's n*m instances problem

todo. things i have to do

happy_proxy. JavaScript

treesascontainers. Nix

papers. Haskell

enrichment. Nix

arrowstrongmonad.

freert-effs. Haskell

pluckingadjunction. Nix

rule110. Nix

coproducts. Haskell

biparser. PureScript

dumbrecords. Haskell

linalg. Linear algebra using the category of vector spaces

tmpfoo. Nix

questiongraph. Haskell