mm-adt / vmLinks
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 2 years ago
- Core components for the Scribble Java tools☆56Updated 9 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆47Updated 3 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- Library-based Language Extensibility☆39Updated 10 years ago
- Orc programming language implementation☆44Updated 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 …☆43Updated last week
- Finite state machines as graphs☆59Updated 5 years ago
- Blazegraph Tinkerpop3 Implementation☆61Updated 4 years ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆47Updated 2 years ago
- Clafer is a lightweight modeling language☆46Updated 4 months ago
- A Framework for building Distributed Consensus Protocols☆10Updated 7 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
- Type checking and logical inference for JetBrains MPS☆33Updated 3 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- ☆11Updated 9 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated 2 weeks ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 3 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆89Updated 6 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- ☆10Updated 5 years ago
- A language for data modeling and incremental computing of derived values☆11Updated last year
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆37Updated 3 months ago