talks

cccc

🖼️ the compiling to closed categories compiler

neptune

httw

is it a new book???

same-same

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

circuitry

the missing haskell circuit diagram library

reviews

Repository for technical reviews I do

everyone-screams-for-haskell

let's write a compiler

dynahaskell

the dynabook but for haskell

category-theory

awoooodeyyyy

improvised

test Haskell with ease

functional-design-patterns

could it be?

sequoia

🌳 a monadic FRP game library for haskell

hskit

luakit but in haskell

type-diagrams

draw types in the style of Thinking with Types' cover

typecraft

it's a starcraft clone but with a dope typesystem