hmac.dev
Posts
Cloning Vecs
A federated network for open source
A Retrospective on Kite
Data type encodings
Eliminating case expressions
Teaching Functional Programming
The Ideal Package Manager
Recursion with Context
Parser Combinators in Ruby
Evaluating the Untyped Lambda Calculus
Implementing A Functional Language Part II: Graph Reduction
Implementing a Functional Language: Parsing Core
Implementing A Functional Language Part I: The Core Language
Implementing a Functional Language: Printing Core
Implementing A Functional Language
Projects
Kite
A small functional programming language.
Type system playground
A live environment to try out several different type systems, including STLC, System F, System T, Hindley-Milner and λP.
Medicine dosage calculator
An old experiment in making small utilities for doctors.