harp-project/Core-Erlang-Formalization

Language: Coq - Size: 57 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 10 - Forks: 1

LogDS/COtt

Ott implementation for C++

Language: C++ - Size: 1.31 MB - Last synced at: 7 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

aslanix/SmallStepNI

Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

Language: Coq - Size: 535 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 12 - Forks: 2

mjftw/clojure-simple-lang

A Clojure implementation of the SIMPLE language as described in Understanding Computation by Tom Stuart. https://computationbook.com/

Language: Clojure - Size: 14.6 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 4 - Forks: 0

sidmishraw/bool-lang-1

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

Language: Scala - Size: 1.75 MB - Last synced at: 10 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0