ahmadsalim/minkodkod
Minimal model generation in KodKod
A bytecode interpreter of a language where the bytecode is written using Peano Numbers (written for PLT Games Turing Tar-Pit challenge)
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Minimal model generation in KodKod
BPRD 2015 Debugging Tutorial and Exercise
Maude exercises (DSL reading group 2015)
A demo implementation of a simple dependently-typed language