Stars
A collection of formalized statements of conjectures in Lean.
types for various combinatory systems, especialy tree calculi
Proofs in Coq for the book Reflective Programs in Tree Calculus
Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
Build run and manage code-first composites on Kubernetes
A modern supercompiler for call-by-value functional languages
Pure functional programming with whole-program mutability inference
Super-fast Merklized Embedded Key-Value Store for blockchain nodes
Formal specifications of the cardano ledger
Envision a future where every student can read all the code of a teaching operating system.
A model checker for implementing distributed systems.
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Day 9 of Advent of Haskell - Denotational Design
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.
An interpreter of Hagino's Categorical Programming Language (CPL).
Early-stage research related to the Anoma protocols.