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 4 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☆66Jun 24, 2026Updated 2 months ago
- An interactive Datalog☆79Jun 10, 2026Updated 3 months ago
- 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 5 months ago
- WIP Java decompiler☆24Dec 3, 2025Updated 9 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Evaluate state-of-the-art GPU joins☆14Nov 29, 2023Updated 2 years ago
- Linear Assignment Problem solver using Jonker-Volgenant algorithm☆22Sep 5, 2025Updated last year
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- Bloom Filter Benchmark for Heterogeneous Hardware.☆10May 19, 2019Updated 7 years ago
- ☆93Oct 22, 2024Updated last year
- Binary Ninja plugin for reverse engineering PTX -- the virtual instruction set architecture of CUDA-based GPUs.☆62Mar 6, 2026Updated 6 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- Bump your ida python script automatically!☆32Apr 19, 2025Updated last year
- ☆30May 9, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- CClyzer port to souffle lang☆21Updated this week
- Logic programming in Rust☆584Aug 29, 2026Updated 3 weeks ago
- ☆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 fast in-memory rule engine☆291Updated this week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- AWS SaaS DevOps Webapp Template: Fully automated DevOps template for deploying a SaaS web application on AWS using Terraform, GitHub Acti…☆31Mar 5, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Domain-specific language for IIR filters☆17Sep 28, 2016Updated 9 years ago
- Rust crate for variadic tuple metaprogramming.☆27Jul 13, 2021Updated 5 years ago
- Benchmark Suite for Interpretable Rule Learning☆12Aug 23, 2020Updated 6 years ago
- [VLDB'26] This repository provides a DuckDB implementation of RPT+, following a Yannakakis-style execution framework.☆22Apr 4, 2026Updated 5 months ago
- ☆38May 23, 2026Updated 3 months ago
- Pure functional programming with whole-program mutability inference☆107Aug 22, 2026Updated 3 weeks ago
- an advanced level shifting neighbor☆13Dec 6, 2021Updated 4 years ago
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 3 years ago
- Rust compile-time type information experiment☆19Jan 24, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆68Jul 21, 2025Updated last year
- EGraphs in OCaml☆83Jun 15, 2026Updated 3 months ago
- Attribute to use on the `trait` methods (or associated functions) that you wish to "seal", a.k.a., render them `final`.☆15Apr 16, 2025Updated last year
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- egraphs + datalog!☆844Updated this week
- Implementation of "A Lineage-Based Referencing DSL for Computer-Aided Design", PLDI 2023☆17Jun 20, 2023Updated 3 years ago
- Demonstration of DSPy optimization for Skill.md files☆15Dec 28, 2025Updated 8 months ago