Asad Saeeduddin's repositories
filterable
A simple account of "filterability" using category theory
selectivemonoidal
A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat
tensorfold
Folding type level data structures into variants and records
automonad.hs
Solving mtl's n*m instances problem
bifunctors
Haskell 98 bifunctors, bifoldables and bitraversables
coc-yaml
Yaml language server extension for coc.nvim
conduit
A streaming data library
first-class-instances
[MIRROR] First class instances in (GHC) Haskell
grafanix
Visualize your Nix dependencies!
Haskell-Total-Library
Exhaustive pattern matching using lenses, traversals, and prisms
hypertypes
Hypertypes - generic programming for heterogeneous recursive types
jl
Functional sed for JSON
patat
Terminal-based presentations using Pandoc
purescript
A strongly-typed language that compiles to JavaScript
purescript-profunctor
Profunctor type classes and data structures
smash
Simple, `These`-like datatypes
unicode.vim
A Vim plugin that provides a completion function for Unicode glyphs