Pinned Repositories
15-150-Bad-Style-Contest-S20
Church encodings, but it's worse than you think
datatt
A dependent type theory with user defined data types
fibertt
Record patches are cool
hi-res-google-takeout-geojson
higher-standard
Higher kinded polymorphism in SML
menby
modular nbe!
pure
A pure type system implemented in OCaml
algaett
🦠 An experimental elaborator for dependent type theory using effects and handlers
asai
🩺 A library for compiler diagnostics
cooltt
😎TT
mmcqd's Repositories
mmcqd/pure
A pure type system implemented in OCaml
mmcqd/datatt
A dependent type theory with user defined data types
mmcqd/higher-standard
Higher kinded polymorphism in SML
mmcqd/fibertt
Record patches are cool
mmcqd/menby
modular nbe!
mmcqd/15-150-Bad-Style-Contest-S20
Church encodings, but it's worse than you think
mmcqd/hi-res-google-takeout-geojson
mmcqd/agda-desc
Datatype descriptions in agda
mmcqd/atd
Static types for JSON APIs
mmcqd/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
mmcqd/bdtt
mmcqd/cooltt
😎TT
mmcqd/haskell-is-actually-agda
mmcqd/higher
Higher-kinded programming in OCaml
mmcqd/JSON-Parser
mmcqd/parsy
Easy and elegant parser combinators for Python. With awesome docs.
mmcqd/pr-comment-test
mmcqd/semgrep-testing
mmcqd/SML-Typeclasses
Implementations of various standard Haskell typeclasses in SML using the module system
mmcqd/stagedtt
🪆 A Staged Type Theory
mmcqd/Type-Level-Haskell
Type Level Fun in Haskell
mmcqd/yadahyadah