mm-adt / vmLinks
The mm-ADT Virtual Machine
☆34Updated 4 years ago
Alternatives and similar repositories for vm
Users that are interested in vm are comparing it to the libraries listed below
Sorting:
- Finite state machines as graphs☆59Updated 4 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- WebAssembly engine in Scala☆52Updated 4 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated this week
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Orc programming language implementation☆44Updated 3 years ago
- Algebraic Graphs in Scala☆27Updated 3 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Core components for the Scribble Java tools☆56Updated 8 months ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- CHR2 to SQL conversion☆13Updated 9 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated this week
- prototyping logic programming in Scala☆41Updated 3 years ago
- Blazegraph Tinkerpop3 Implementation☆61Updated 4 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 3 years ago
- The fastest way to build a language☆43Updated 3 years ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆33Updated 2 months ago
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- Engines, queries, and data for dynamic Datalog computation☆125Updated 3 years ago
- Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js☆11Updated 4 years ago
- Idris LLVM codegen factored out☆81Updated 7 years ago
- Datalog with equality for rust☆68Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- A Datalog execution engine for Scala☆12Updated 2 months ago
- Graph programming language☆92Updated this week
- A newborn programming language for extensible software☆16Updated 3 years ago