Stars
Editor for .pxattr files (Collision Data used in Rockfish/Kero Blaster/KeroM(Pitest)
smarter git mergetool for clojure and edn
A Haskell library for typesafe music composition
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
Pattern lets you transform data structures in amazing ways.
OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server setting without reliance on PKI and with security against pre…
A garden of small programming language implementations 🪴
"Evil will always triumph, because good is dumb." -- Spaceballs (1987)
Agda formalisation of second-order abstract syntax
A modern supercompiler for call-by-value functional languages
Research on integrating datalog & lambda calculus via monotonicity types
Next generation of ClojureCLR under development.
Experimental implementation of Cubical Type Theory
An introduction to programming language theory in Agda
A CLI to add common aliases and features to deps.edn-based projects
EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites
A collection of resources for learning type theory and type theory adjacent fields.