HarvardPL / AbcDatalog

Related projects ⓘ

Alternatives and complementary repositories for AbcDatalog

• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆77Updated 6 years ago
• HarvardPL / formulog
  Datalog with support for SMT queries and first-order functional programming
  ☆155Updated 3 weeks ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆33Updated 5 months ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆39Updated 3 months ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated this week
• piantado / enumerateCFG
  Code for enumeration from a CFG
  ☆18Updated last year
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated 3 weeks ago
• rewriting / tom
  ☆34Updated 4 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆27Updated 3 years ago
• nickmain / cchr
  Copy of the CCHR Constraint Handling Rules implementation in C
  ☆20Updated 3 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆31Updated last week
• graphik-team / graal
  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
  ☆45Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆129Updated 3 months ago
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆33Updated 4 months ago
• prologbyexample / code
  ☆27Updated last year
• namin / lms-black
  purple: compiling a reflective language
  ☆29Updated last month
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated 2 weeks ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• harp-lab / gdlog
  ☆75Updated 3 weeks ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆32Updated 6 months ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆122Updated 3 years ago
• philzook58 / datalog-book
  A book about datalog
  ☆12Updated last year
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆26Updated last month
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 7 months ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆12Updated 9 years ago
• robsimmons / dusa
  A petrifyingly good logic programming language
  ☆30Updated this week
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 3 months ago