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
  ☆25Updated 9 years ago
• HazyResearch / EmptyHeaded
  Your worst case is our best case.
  ☆143Updated 8 years ago
• uzh / signal-collect
  A framework for scalable graph computing.
  ☆151Updated 7 years ago
• socialite-lang / socialite
  SociaLite: query language for large-scale graph analysis and data mining
  ☆110Updated 9 years ago
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆332Updated 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
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆132Updated 4 years ago
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• jinhuang / hyperx
  A Spark Based Scalable Framework for Efficient Hypergraph Processing
  ☆23Updated 10 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
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆81Updated 7 years ago
• TiarkRompf / lms-clean
  ☆56Updated 7 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• Accla / graphulo
  Graphulo: Accumulo library of matrix math primitives and graph algorithms
  ☆79Updated 4 months ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 6 months ago
• Accla / d4m
  Dynamic Distributed Dimensional Data Model
  ☆42Updated last year
• vasia / gelly-streaming
  An experimental Graph Streaming API for Apache Flink
  ☆141Updated 5 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated 2 years ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated this week
• anskarl / LoMRF
  LoMRF is an open-source implementation of Markov Logic Networks
  ☆86Updated last year
• ankurdave / part
  Persistent Adaptive Radix Trees in Java
  ☆82Updated 5 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:
  ☆50Updated 3 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• donatellosantoro / Llunatic
  The Llunatic Mapping and Cleaning Chase Engine
  ☆36Updated last year
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 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
• HewlettPackard / sandpiper
  Implementation of the Loopy Belief Propagation algorithm for Apache Spark
  ☆41Updated 5 years ago
• scala-lms / tutorials
  Tutorials on Lightweight Modular Staging
  ☆122Updated last year
• stanford-ppl / hyperdsl
  ☆57Updated 8 years ago
• robmccoll / graphdb-testing
  Benchmarking various graph databases, engines, datastructures, and data stores.
  ☆37Updated 11 years ago