mm-adt / vm
The mm-ADT Virtual Machine
☆34Updated 3 years ago
Related projects: ⓘ
- Bidirectional transformation for Relational view update Datalog-based Strategies☆20Updated last year
- Transformations transformed☆71Updated this week
- Convert TLA+ output (and values) into JSON☆23Updated 3 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆86Updated 5 years ago
- 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
- Engines, queries, and data for dynamic Datalog computation☆121Updated 3 years ago
- Core components for the Scribble Java tools☆55Updated 3 years ago
- Datalog + Egg = Good☆65Updated last year
- A synthesis-enabled solver for relational logic☆28Updated 6 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆36Updated last week
- An experiment in using DuckDB for a datalog / egg☆24Updated 11 months ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 6 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆10Updated 2 weeks ago
- Build database applications faster than anyone else, and keep your data pollution free as a bonus.☆40Updated last week
- The Flix Programming Book☆16Updated this week
- Datalog with equality for rust☆49Updated 5 months ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated 2 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated 2 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated 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
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆23Updated 11 years ago
- Incremental view maintenance for openCypher graph queries.☆48Updated 5 years ago
- Kafka as a Datalog Engine☆27Updated last month
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- A fast in-memory rule engine.☆62Updated this week
- Library-based Language Extensibility☆39Updated 10 years ago
- ☆11Updated this week
- Alloy*---Higher Order Logic for Alloy☆37Updated 4 years ago
- ☆35Updated 3 years ago