Projects in Awesome Lists tagged with small-step-semantics
A curated list of projects in awesome lists tagged with small-step-semantics .
https://github.com/mjftw/clojure-simple-lang
A Clojure implementation of the SIMPLE language as described in Understanding Computation by Tom Stuart. https://computationbook.com/
clojure programmin-language small-step-semantics understanding-computation
Last synced: 24 May 2026
https://github.com/sidmishraw/bool-lang-1
BOOL, BOOL++ and WHILE language implementations using Scala on different branches
big-step-semantics bool-lang boolean language-design scala small-step-semantics while-language
Last synced: 04 Mar 2025
