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
• 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
• TiarkRompf / virtualization-lms-core
  A Framework for Runtime Code Generation and Compiled DSLs
  ☆331Updated 6 years ago
• wernsey / Jatalog
  Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation
  ☆81Updated 7 years ago
• Accla / d4m
  Dynamic Distributed Dimensional Data Model
  ☆42Updated last year
• 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
  ☆23Updated 10 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
• dbtoaster / dbtoaster-backend
  The current backend of DBToaster, implemented in Scala.
  ☆65Updated 3 years ago
• namin / lms-verify
  generative programming & verification
  ☆34Updated 5 months ago
• Accla / graphulo
  Graphulo: Accumulo library of matrix math primitives and graph algorithms
  ☆79Updated 3 months ago
• lambdazen / pixy
  Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack
  ☆36Updated 2 weeks ago
• fdbresearch / LMFAO
  Layered Multiple Functional Aggregate Optimization
  ☆17Updated 5 years ago
• TiarkRompf / lms-clean
  ☆56Updated 7 months ago
• emina / kodkod
  Kodkod solver for relational logic
  ☆80Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 6 years ago
• uwplse / Casper
  A compiler for automatically re-targeting sequential Java code to Apache Spark.
  ☆50Updated 2 years ago
• MartinHaeusler / chronos
  The Chronos versioning project aims to provide easy-to-use and reliable versioned data storage.
  ☆52Updated 5 years ago
• robmccoll / graphdb-testing
  Benchmarking various graph databases, engines, datastructures, and data stores.
  ☆37Updated 11 years ago
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆64Updated 3 months ago
• vasia / gelly-streaming
  An experimental Graph Streaming API for Apache Flink
  ☆141Updated 5 years ago
• oracle / pgql-lang
  PGQL is an SQL-based query language for property graphs
  ☆199Updated 5 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 5 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆122Updated 8 years ago
• karmaresearch / vlog
  ☆57Updated 2 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 4 months ago