Alternatives and similar repositories for BigDatalog

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

• marekrogala / sparkdatalog
  A Datalog API for Spark
  ☆26Updated 8 years ago
• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆140Updated 8 years ago
• uzh / signal-collect
  A framework for scalable graph computing.
  ☆147Updated 7 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆127Updated 4 years ago
• uwescience / raco
  Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…
  ☆73Updated 7 years ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆139Updated 7 years ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆64Updated 3 years ago
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆330Updated 6 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 7 years ago
• socialite-lang / socialite
  SociaLite: query language for large-scale graph analysis and data mining
  ☆110Updated 9 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆81Updated 6 years ago
• TiarkRompf / lms-clean
  ☆55Updated 3 months ago
• jinhuang / hyperx
  A Spark Based Scalable Framework for Efficient Hypergraph Processing
  ☆22Updated 10 years ago
• vasia / gelly-streaming
  An experimental Graph Streaming API for Apache Flink
  ☆141Updated 4 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆78Updated 2 years ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated last week
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆60Updated 3 months ago
• anskarl / LoMRF
  LoMRF is an open-source implementation of Markov Logic Networks
  ☆85Updated 11 months ago
• uzh / fox
  A framework for PSL inference.
  ☆21Updated 9 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 2 months ago
• ftsrg / ingraph
  Incremental view maintenance for openCypher graph queries.
  ☆48Updated 6 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated last month
• MartinHaeusler / chronos
  The Chronos versioning project aims to provide easy-to-use and reliable versioned data storage.
  ☆52Updated 5 years ago
• jmd1011 / snek-LMS
  Implementation of Lightweight Modular Staging (LMS) in Python
  ☆48Updated 6 years ago
• karmaresearch / vlog
  ☆57Updated 2 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:
  ☆48Updated 3 years ago
• gh-rdf3x / gh-rdf3x
  Extension of the rdf3x engine and the translatesparql tool.
  ☆45Updated 12 years ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year