#
Starred repositories
A toy ASDL (Abstract Syntax Description Language) intended to make writing compilers in C less tedious.
The Standard ML compiler that produces Lua/JavaScript
A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo
Executables, uberjar, and library to beautifully format Clojure and Clojurescript source code and s-expressions.
A translation of Software Foundations to LEAN
A functional effect and streaming system for Clojure/Script
An idiomatic, data-driven, REPL friendly clojure client for OCI container engines
Efficient, hassle-free function call validation with a concise inline syntax for clojure.spec and Malli
flex is a reactive signal library for Clojure(Script)
Interactive evaluation for Neovim (Clojure, Fennel, Janet, Racket, Hy, MIT Scheme, Guile, Python and more!)
A promise library & concurrency toolkit for Clojure and ClojureScript.
Category Theory and Algebraic abstractions for Clojure and ClojureScript.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Electric Clojure: full-stack differential dataflow for UI
A Foreign Function Interface in Clojure for JDK 22+.
A full implementation of the Scheme programming language for the Haskell Platform.
Lisp C Compiler aka. 'Cicili' programming language, which compiles Lisp-like syntax to C code and more extra features like method, lambda, defer.
Lisp C Compiler aka. 'Cicili' programming language, which compiles Lisp-like syntax 4D01 to C code and more extra features like struct's method, lambda, defer execution, generic type and function-like m…
Source code for the Mathematics in Lean tutorial.