Alternatives and similar repositories for AbcDatalog:

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

• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 months ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆38Updated 7 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆33Updated last month
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆40Updated last month
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 3 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 6 months ago
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated 2 weeks ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 3 months ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• prologbyexample / code
  ☆28Updated last year
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆87Updated last year
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆29Updated 3 months ago
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 6 months ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆121Updated 7 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆96Updated 8 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 4 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆29Updated 9 years ago
• namin / lms-verify
  generative programming & verification
  ☆32Updated 3 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 9 months ago
• enso-lang / enso
  ☆71Updated 4 years ago
• racket / datalog
  ☆45Updated 2 months ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆16Updated 2 months ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆59Updated 5 years ago