Sandy Maguire

thinking-with-types. 📖 source material for Thinking with Types

algebra-driven-design. Source material for Algebra-Driven Design

ecstasy. :pill: a GHC.Generics-based entity component system

type-errors. :warning: tools for writing better type errors

suavemente. :dancer: an applicative functor that seamlessly talks to HTML inputs

type-sets. type level sets

cccc. 🖼️ the compiling to closed categories compiler

typecraft. :star: it's a starcraft clone but with a dope typesystem

certainty-by-construction. Source material for Certainty by Construction

do-notation. deprecated in favor of -XQualifiedDo

algebra-checkers. checkers for algebra driven design

jazz. i bet you there is a typesystem behind music

reasonablypolymorphic.com. ⏳ my math blog

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

sequoia. 🌳 a monadic FRP game library for haskell

same-same. 🤳 ignore the differences between `a` and `Identity a`

prospect. :pick: static analysis of free monads

dynahaskell. the dynabook but for haskell

marlo. a search engine for humans

nimic. a language about nothing

constraints-emerge. 📤 defer instance resolution until runtime

functional-design-patterns. could it be?

afro-kravitz. it's a guitar jammer

ghci.vim. ↔️ tight ghci integration for vim

latex-live-snippets. deprecated by `design-tools`

containers-good-graph. It's Data.Graph, but it doesn't suck!

wide-open-world. the global haskell instance repository

ldtk-types. Types for ldtk

th-dict-discovery. 🐙 discover Dicts

hs2. a new, WIP Haskell compiler

circuitry. the missing haskell circuit diagram library

nullification. the game i've wanted to exist for a decade

talks. repository for talks I'm giving

transitive-anns. transitively track and reify annotations across a codebase

blagda. agda blogging based on 1lab

httw. is it a new book???

free-m32. linux HID driver for Native Instruments M32

pplmonad-mirror. mirror of https://hub.darcs.net/linearity/pplmonad

jps. :point_right: jump point search for Haskell

iwmag. it's a platformer written on top of sequoia and ecstasy

conceptual-mathematics. reading group

arduino. My arduino projects

papers. I will read and engage with one paper a week.

math-fracking. HIGHLY PRESSURIZED MATH EXTRACTION