purescript-type-lang. Lambda calculus at the type level.
20purescript-generics-rep-optics. Generating optics for generic data types.
11purescript-type-map. A Map data structure at the type level.
8category-exercises. Befriending cats and stealing their toys.
8purescript-naturals. Natural numbers
7purescript-procrastination. Experimenting with deferred computations via a type class constraint.
7immutable-json. Parse JSON into immutable.js collections
5optics-talk. What we talk about when we talk about optics
4hscats. Haskell
4purescript-tagged. Phantom tags
4purescript-moldy. Monomorphic foldables
3purescript-aff-throttler. Throttler for Aff
3Kurry. A JavaScript library containing various types of currying functions.
2purescript-isotypes. iso for common newtypes.
2sudohasku. sudoku terminal game using haskell brick
1purescript-snake. Snake game
1memoir. Haskell Records via ImplicitParams
1purescript-red-panda. Playing with ideas for purescript-panda
1purescript-record-apply. Demonstration of the applyRecord function
1xno. Functional Noughts and Crosses
1purescript-documented. Experimenting with using symbols for documentation
1gen-json-parser. Generate JSON parsers for custom data structures.
1TypeMatch. A Clojure type matching module.
1fk. A tiny curry library.
1purescript-zippable. Classes for zippable data structures
1crosslang. Haskell
1hyperfun. Just playing around with hyperfunctions
1lay.nvim. Lua
1