dolia
No user record in our sample, but dolia has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
- Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu)
- Show HN: "The Roots of Lisp" Interpreter (github.com)
This is the Lisp interpreter in Typescript, as described in "The Roots of Lisp" article.