☆58Dec 5, 2022Updated 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☆25Sep 7, 2016Updated 9 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Mar 22, 2018Updated 7 years ago
- ☆57Jul 16, 2023Updated 2 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Oct 4, 2019Updated 6 years ago
- Generate ER-diagram using SQL file☆17Dec 31, 2024Updated last year
- A lightweight Datalog engine in Rust☆57May 30, 2025Updated 9 months ago
- EBIC - AI-based parallel biclustering algorithm☆21Sep 25, 2018Updated 7 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- Implementation of the Apriori algorithm using Spark.☆38Nov 9, 2014Updated 11 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Aug 24, 2020Updated 5 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- Create PR to bump Haskell dependency bounds☆24Mar 7, 2024Updated last year
- JudgeD: Probabilistic Datalog with Dependencies☆18Nov 7, 2019Updated 6 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 3 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆20Aug 24, 2021Updated 4 years ago
- S-Store Transactional Streaming Data Management System☆22Jul 25, 2020Updated 5 years ago
- Static checker for Java☆87Jan 16, 2025Updated last year
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆27Jun 22, 2023Updated 2 years ago
- The propagator system☆41Nov 30, 2015Updated 10 years ago
- Securibench Micro is a benchmark for static analysis tools for security.☆26Jul 26, 2018Updated 7 years ago
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Dec 19, 2025Updated 2 months ago
- Graphulo: Accumulo library of matrix math primitives and graph algorithms☆81Feb 26, 2026Updated last week
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- This is a C++ implementation of Graspan.☆32Dec 20, 2023Updated 2 years ago
- A Highly Readable Pebble Watch Face☆17Jan 21, 2016Updated 10 years ago
- An address component tagger based on statistical natural language processing techniques☆11Apr 17, 2014Updated 11 years ago
- A repository for OpenHack for Lakehouse. The contents are written in Japanese.☆11Nov 20, 2023Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆276Oct 17, 2024Updated last year
- Incremental Program Analysis Framework☆94May 7, 2021Updated 4 years ago
- The Eldarica model checker☆102Feb 20, 2026Updated 2 weeks ago
- BigDataBench Spark workloads☆11Jul 15, 2016Updated 9 years ago
- rule matcher (context free grammar)☆10Dec 27, 2019Updated 6 years ago
- ☆10Mar 7, 2020Updated 6 years ago
- code examples of a the SDKv6.0 DFU bootloader modified to be built by gcc.☆10Jan 8, 2025Updated last year