16 open source projects by isovector

💊 a GHC.Generics-based entity component system

💃 an applicative functor that seamlessly talks to HTML inputs

🖼️ the compiling to closed categories compiler

Ⓜ️ generalized do-notation for monads and indexed monads

the global haskell instance repository

🤳 ignore the differences between `a` and `Identity a`

a language about nothing

📖 source material for Thinking with Types

↔️ tight ghci integration for vim

checkers for algebra driven design

📤 defer instance resolution until runtime

an open-source MOAI based point-n-click graphical adventure engine

⚠️ tools for writing better type errors

deprecated by `design-tools`

the dynabook but for haskell

Source material for Algebra-Driven Design