-
Trieste Public
Forked from microsoft/TriesteA term rewriting system for experimental programming language development.
C++ MIT License UpdatedJun 13, 2025 -
-
-
verona-bc Public
Forked from sylvanc/verona-bcAn experimental byte code interpreter for the Verona operational semantics
C++ MIT License UpdatedMay 21, 2025 -
verona Public
Forked from microsoft/veronaResearch programming language for concurrent ownership
C++ MIT License UpdatedSep 23, 2024 -
-
-
bubify-frontend Public
Forked from bubify/bubify-frontendTypeScript MIT License UpdatedJun 28, 2023 -
-
-
miking Public
Forked from miking-lang/mikingMiking - the meta viking: a meta-language system for creating embedded languages
OCaml Other UpdatedSep 18, 2020 -
-
cyphym Public
Forked from miking-lang/cyphymCyPhym: a Language for Cyber-Physical Modeling
Cycript UpdatedJul 3, 2019 -
encore Public
Forked from parapluu/encoreThe Encore compiler.
C++ BSD 3-Clause "New" or "Revised" License UpdatedJul 27, 2018 -
-
bestow-atomic Public
Mechanized formalizations of actor calculi using bestowed objects and atomic messages
Coq Other UpdatedAug 16, 2017 -
-
ioopm15 Public
Forked from IOOPM-UU/ioopm15Course repository for IOOPM, 2015
C UpdatedNov 12, 2015 -
{{ message }}