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
Sorting:
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated last year
- Finite state machines as graphs☆59Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated last week
- CHR2 to SQL conversion☆13Updated 9 years ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆41Updated 2 weeks ago
- Datalog + Egg = Good☆66Updated last year
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Orc programming language implementation☆44Updated 3 years ago
- Clafer is a lightweight modeling language☆45Updated 3 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆11Updated 9 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆21Updated 8 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
- 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
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated last month
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- RON for Rust☆21Updated 6 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆28Updated last month
- Compilation and Verification of Data-Centric Languages☆58Updated 10 months ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated last year
- Distributed Data Structures in Coq☆49Updated 11 years ago
- BDD-based implementation of Datalog☆37Updated 4 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago