This repository contains the archived code, examples, and experimental artifacts for the VLDB 2026 FlowLog paper. It includes the Rust implementation of the FlowLog Datalog engine, sample Datalog programs, and the reproduction materials used to generate the paper’s results and figures.
☆28May 14, 2026Updated 2 months ago
Alternatives and similar repositories for vldb26-artifact
Users that are interested in vldb26-artifact are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CTADL is a static taint analysis tool☆63Jun 24, 2026Updated 3 weeks ago
- ☆62Updated this week
- Implements (select parts of) the LionWeb specification, and tooling around that - all in TypeScript.☆12Updated this week
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- ☆15Aug 15, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Framework to reverse engineer binaries and evaluate similarities across a large collections of files. Uses sector hashing and data flow …☆15May 23, 2023Updated 3 years ago
- Reference compiler for c0☆43Apr 7, 2026Updated 3 months ago
- WIP Java decompiler☆24Dec 3, 2025Updated 7 months ago
- library learning w egraphs☆28May 31, 2023Updated 3 years ago
- Linear Assignment Problem solver using Jonker-Volgenant algorithm☆22Sep 5, 2025Updated 10 months ago
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- FineWeb-EDU trained Billion+ Parameter Model☆14Jun 3, 2025Updated last year
- Retypd plugin for Ghidra reverse engineering framework from NSA☆28Jul 6, 2023Updated 3 years ago
- ☆91Oct 22, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Binary Ninja plugin for reverse engineering PTX -- the virtual instruction set architecture of CUDA-based GPUs.☆59Mar 6, 2026Updated 4 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Bump your ida python script automatically!☆31Apr 19, 2025Updated last year
- ☆30May 9, 2022Updated 4 years ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆23May 7, 2021Updated 5 years ago
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- Towards web with Snap in Haskell☆33Apr 20, 2017Updated 9 years ago
- Logic programming in Rust☆567Jun 18, 2026Updated last month
- CClyzer port to souffle lang☆20Jan 29, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆15Dec 2, 2019Updated 6 years ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 years ago
- Minimal examples of crates useful for compiler development☆30Updated this week
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 12 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- Domain-specific language for IIR filters☆17Sep 28, 2016Updated 9 years ago
- Simple worker and task queue implementation in python.☆22Dec 24, 2024Updated last year
- ☆13Nov 28, 2023Updated 2 years ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rust crate for variadic tuple metaprogramming.☆27Jul 13, 2021Updated 5 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 5 years ago
- ☆26May 22, 2025Updated last year
- ☆15Jan 24, 2024Updated 2 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 3 years ago
- ☆37May 23, 2026Updated last month
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆69Jul 21, 2025Updated last year