mm-adt / vm
The mm-ADT Virtual Machine
☆34Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for vm
- Transformations transformed☆74Updated last week
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆24Updated last month
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- Orc programming language implementation☆42Updated 2 years ago
- Blazegraph Tinkerpop3 Implementation☆61Updated 4 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated 3 weeks ago
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 8 months ago
- Finite state machines as graphs☆59Updated 4 years ago
- Convert TLA+ output (and values) into JSON☆24Updated 3 years ago
- Build database applications faster than anyone else, and keep your data pollution free as a bonus.☆40Updated 2 weeks ago
- Datalog + Egg = Good☆65Updated last year
- Datalog with equality for rust☆62Updated 3 weeks ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆33Updated 4 months ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆21Updated 2 years ago
- ☆71Updated 4 years ago
- The Plaid Programming Language Tools☆11Updated 9 years ago
- Core components for the Scribble Java tools☆56Updated last month
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆10Updated 9 years ago
- A fast in-memory rule engine☆85Updated this week
- Library-based Language Extensibility☆39Updated 10 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Clafer is a lightweight modeling language☆45Updated 11 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆87Updated 5 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago