#

big-step-semantics

Here are 2 public repositories matching this topic...

harp-project / Core-Erlang-Formalization

concurrency formalization core-erlang big-step-semantics small-step-semantics program-equivalence rocq

Updated Oct 6, 2026
Rocq Prover

sidmishraw / bool-lang-1

BOOL, BOOL++ and WHILE language implementations using Scala on different branches

scala boolean language-design big-step-semantics small-step-semantics while-language bool-lang

Updated Sep 23, 2017
Scala

Add this topic to your repo

To associate your repository with the big-step-semantics topic, visit your repo's landing page and select "manage topics."