Alternatives and similar repositories for vm:

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

• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated 2 weeks 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 …
  ☆41Updated 2 weeks 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:
  ☆46Updated 2 years ago
• CategoricalData / hydra
  Transformations transformed
  ☆79Updated this week
• orc-lang / orc
  Orc programming language implementation
  ☆43Updated 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆26Updated 3 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 6 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 4 months ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆11Updated 9 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated 8 months ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• racket / datalog
  ☆45Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆56Updated 7 months 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 2 years ago
• jrbn / vlog
  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
• xu-hao / QueryArrow
  A semantically unified SQL and NoSQL query and update system
  ☆17Updated 6 years ago
• seba-- / sugarj
  Library-based Language Extensibility
  ☆39Updated 10 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• choral-lang / choral
  A compiler, testing bed, and standard library for the Choral programming language.
  ☆26Updated 2 months ago
• mryndzionek / tlaplus_specs
  Different TLA+ specifications, mostly for learning purposes
  ☆31Updated 9 months ago
• frankmcsherry / dataflow-join
  An implementation of Ngo et al's GenericJoin in timely dataflow.
  ☆87Updated 5 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated 2 months ago
• Actyx / cambria
  ☆36Updated 3 years ago