Alternatives and similar repositories for BigDatalog

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

• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆142Updated 8 years ago
• marekrogala / sparkdatalog
  A Datalog API for Spark
  ☆25Updated 9 years ago
• socialite-lang / socialite
  SociaLite: query language for large-scale graph analysis and data mining
  ☆110Updated 9 years ago
• uzh / signal-collect
  A framework for scalable graph computing.
  ☆150Updated 7 years ago
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆128Updated 4 years ago
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆330Updated 6 years ago
• epfldata / dblab
  A framework for building database systems by high-level programming, and getting really good performance nevertheless.
  ☆138Updated 7 years ago
• uwescience / raco
  Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…
  ☆74Updated 7 years ago
• jinhuang / hyperx
  A Spark Based Scalable Framework for Efficient Hypergraph Processing
  ☆22Updated 10 years ago
• qcri / Arabesque
  Scalable Graph Mining
  ☆63Updated 2 years ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated last week
• 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
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆79Updated 2 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated 2 years ago
• Accla / graphulo
  Graphulo: Accumulo library of matrix math primitives and graph algorithms
  ☆79Updated 2 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆81Updated 7 years ago
• gh-rdf3x / gh-rdf3x
  Extension of the rdf3x engine and the translatesparql tool.
  ☆45Updated 12 years ago
• TiarkRompf / lms-clean
  ☆56Updated 5 months ago
• stanford-ppl / hyperdsl
  ☆57Updated 8 years ago
• GraphChi / graphchiDB-scala
  *Experimental* GraphChi-DB graph database with computational capabilities
  ☆79Updated 10 years ago
• vasia / gelly-streaming
  An experimental Graph Streaming API for Apache Flink
  ☆141Updated 5 years ago
• Accla / d4m
  Dynamic Distributed Dimensional Data Model
  ☆43Updated last year
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 8 years ago
• goatdb / llama
  LLAMA Graph Analytics Engine
  ☆41Updated 8 years ago
• fdbresearch / LMFAO
  Layered Multiple Functional Aggregate Optimization
  ☆17Updated 5 years ago
• stanford-ppl / Green-Marl
  A DSL for efficient Graph Analysis
  ☆102Updated 7 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 4 months ago
• dbs-leipzig / gradoop
  Distributed Temporal Graph Analytics with Apache Flink
  ☆249Updated last week