harp-project/Core-Erlang-Formalization

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

sidmishraw/bool-lang-1

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

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