ashkapsky / BigDatalogLinks
☆58Updated 3 years ago
Alternatives and similar repositories for BigDatalog
Users that are interested in BigDatalog are comparing it to the libraries listed below
Sorting:
- A Datalog API for Spark☆25Updated 9 years ago
- Your worst case is our best case.☆145Updated 8 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- A framework for scalable graph computing.☆152Updated 7 years ago
- SociaLite: query language for large-scale graph analysis and data mining☆111Updated 9 years ago
- Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…☆74Updated 7 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆332Updated 6 years ago
- Engines, queries, and data for dynamic Datalog computation☆133Updated 4 years ago
- The current backend of DBToaster, implemented in Scala.☆66Updated 3 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 7 years ago
- generative programming & verification☆34Updated 7 months ago
- A Spark Based Scalable Framework for Efficient Hypergraph Processing☆23Updated 10 years ago
- Implementation of Lightweight Modular Staging (LMS) in Python☆48Updated 6 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 11 years ago
- ☆56Updated 9 months ago
- surgical precision JIT compilers☆123Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆13Updated 4 years ago
- The collection synthesizer☆209Updated 5 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last month
- 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
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 8 years ago
- Persistent Adaptive Radix Trees in Java☆82Updated 5 years ago
- Datalog that's as easy as ABC.☆67Updated 5 months ago
- The Delite Git Repo☆219Updated 8 years ago
- ☆57Updated 8 years ago
- Implementation of the Loopy Belief Propagation algorithm for Apache Spark☆41Updated 5 years ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆80Updated 6 months ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Updated 12 years ago
- Dynamic Distributed Dimensional Data Model☆42Updated last year