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☆64Jun 24, 2026Updated last month
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- 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 4 months ago
- WIP Java decompiler☆24Dec 3, 2025Updated 8 months 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.
- library learning w egraphs☆28May 31, 2023Updated 3 years ago
- Linear Assignment Problem solver using Jonker-Volgenant algorithm☆22Sep 5, 2025Updated 11 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
- ☆92Oct 22, 2024Updated last year
- Binary Ninja plugin for reverse engineering PTX -- the virtual instruction set architecture of CUDA-based GPUs.☆62Mar 6, 2026Updated 5 months ago
- Bump your ida python script automatically!☆32Apr 19, 2025Updated last year
- ☆30May 9, 2022Updated 4 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.
- MOVED to code.netzhansa.com/hanshuebner/clj-oauth2-token-generator. This GitHub mirror is archived.☆12Jan 9, 2016Updated 10 years ago
- Logic programming in Rust☆571Jun 18, 2026Updated last month
- CClyzer port to souffle lang☆21Jan 29, 2024Updated 2 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☆31Jul 29, 2026Updated last week
- A fast in-memory rule engine☆278Updated 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
- 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
- Simple worker and task queue implementation in python.☆22Dec 24, 2024Updated last year
- 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
- [VLDB'26] This repository provides a DuckDB implementation of RPT+, following a Yannakakis-style execution framework.☆22Apr 4, 2026Updated 4 months ago
- Pure functional programming with whole-program mutability inference☆92Apr 10, 2026Updated 4 months ago
- an advanced level shifting neighbor☆11Dec 6, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Radamsa written in c ported to Rust☆11May 10, 2023Updated 3 years ago
- ☆37May 23, 2026Updated 2 months ago
- Rust compile-time type information experiment☆19Jan 24, 2023Updated 3 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆69Jul 21, 2025Updated last year
- EGraphs in OCaml☆84Jun 15, 2026Updated last month
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- ☆37Jul 29, 2026Updated last week