Alternatives and similar repositories for vm

Users that are interested in vm are comparing it to the libraries listed below

• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• gsdlab / clafer
  Clafer is a lightweight modeling language
  ☆47Updated 9 months ago
• AmpersandTarski / Ampersand
  This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …
  ☆43Updated 2 weeks ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆91Updated 6 years ago
• graphik-team / graal
  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
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆58Updated last year
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated 2 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 11 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆15Updated 10 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• orc-lang / orc
  Orc programming language implementation
  ☆45Updated 3 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• haslab / Electrum2
  Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …
  ☆48Updated 2 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• pbailis / bolton-sigmod2013-code
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Updated 12 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆20Updated 6 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆27Updated 2 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• mpmilano / MixT
  Prototype Mixed-consistency transaction implementation
  ☆64Updated 7 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 4 years ago
• rupertlssmith / hak_wambook
  Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.
  ☆28Updated 8 years ago
• rchowell / Sift
  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
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 11 years ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated last week
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆64Updated 5 years ago
• inrick / Featherweight-Java
  An attempt to implement the typing rules of Featherweight Java using Haskell.
  ☆11Updated 13 years ago