mm-adt / vmLinks
The mm-ADT Virtual Machine
☆35Updated 5 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☆60Updated 5 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆22Updated 2 years ago
- 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
- Core components for the Scribble Java tools☆58Updated last year
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Updated 8 years ago
- Clafer is a lightweight modeling language☆47Updated 11 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆91Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆133Updated 4 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Updated 5 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- The Daedalus data description language☆87Updated this week
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 3 years ago
- Orc programming language implementation☆45Updated 4 years ago
- Blazegraph Tinkerpop3 Implementation☆62Updated 5 years ago
- Datalog with equality for rust☆72Updated last month
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Incremental view maintenance for openCypher graph queries.☆48Updated 6 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Prototype Mixed-consistency transaction implementation☆65Updated 7 years ago
- A general purpose relational language☆19Updated 5 years ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11Updated 5 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last month
- Library-based Language Extensibility☆39Updated 11 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆23Updated 9 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 5 years ago
- ☆71Updated 5 years ago