mm-adt / vm
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
- Bidirectional transformation for Relational view update Datalog-based Strategies☆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 …☆41Updated this week
- Finite state machines as graphs☆59Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Datalog + Egg = Good☆66Updated last year
- Orc programming language implementation☆43Updated 3 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 7 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Engines, queries, and data for dynamic Datalog computation☆123Updated 3 years ago
- Blazegraph Tinkerpop3 Implementation☆61Updated 4 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆87Updated 5 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Core components for the Scribble Java tools☆56Updated 5 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated this week
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 2 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Superposition prover☆17Updated 2 years ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- Object Algebra Composition☆24Updated 11 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 7 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Formalization of DBSP☆17Updated last year
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 2 months ago
- Idris LLVM codegen factored out☆78Updated 7 years ago