small-step-semantics

There are 5 repositories under small-step-semantics topic.

aslanix/SmallStepNI
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
Language:Coq18 4 02
harp-project/Core-Erlang-Formalization
Language:Coq9 6 91
mjftw/clojure-simple-lang
A Clojure implementation of the SIMPLE language as described in Understanding Computation by Tom Stuart. https://computationbook.com/
Language:Clojure4 2 00
Lo-DS/COtt
Ott implementation for C++
Language:C++
sidmishraw/bool-lang-1
BOOL, BOOL++ and WHILE language implementations using Scala on different branches
Language:Scala1 0