Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with big-step-semantics
A curated list of projects in awesome lists tagged with big-step-semantics .
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: 15 Nov 2024
