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:
- 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☆57Updated last year
- Finite state machines as graphs☆60Updated 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
- CHR2 to SQL conversion☆14Updated 10 years ago
- ☆34Updated 5 years ago
- Clafer is a lightweight modeling language☆47Updated 7 months ago
- An implementation of Ngo et al's GenericJoin in timely dataflow.☆90Updated 6 years ago
- Here we do all categorical calculations, for small (aka, embeddable fully into a program) categories☆25Updated 3 months ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- A Framework for building Distributed Consensus Protocols☆10Updated 8 years ago
- An experiment in using DuckDB for a datalog / egg☆26Updated 2 years ago
- Datalog + Egg = Good☆66Updated 2 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- A newborn programming language for extensible software☆16Updated 3 years ago
- Kodkod solver for relational logic☆78Updated 2 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
- Library-based Language Extensibility☆39Updated 11 years ago
- Engines, queries, and data for dynamic Datalog computation☆128Updated 4 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- The main repository integrating the LaTeX beamer-based slides☆27Updated 6 months ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆28Updated 8 years ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- Orc programming language implementation☆45Updated 3 years ago
- Formalization of some elementary mathematical theories in Coq☆15Updated 5 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 2 months ago
- Parallel Programming in Futhark☆49Updated last month
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago