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 5 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☆67Jun 24, 2026Updated 4 months ago
- An interactive Datalog☆79Oct 16, 2026Updated 2 weeks ago
- Library for querying in-memory facts using datalog☆13May 19, 2025Updated last year
- Flowslicer is a Binary Ninja plugin to lift code into Data Flow Intermediate Language. Then, it processes data flow slices and analyzes …☆12May 23, 2023Updated 3 years ago
- ☆11May 1, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- ☆12Updated this week
- ☆14Apr 20, 2020Updated 6 years ago
- Local AWS emulator in Go with AWS-compatible APIs, SQLite persistence, and real compute and database runtimes. Use AWS CLI, SDKs, and Ter…☆19Updated this week
- a datastructure for scalable combinatorial syntax☆20Feb 28, 2025Updated last year
- EyeProlog turns portable ISO Prolog programs into answers and inspectable proofs.☆25Oct 17, 2026Updated 2 weeks ago
- Reference compiler for c0☆43Apr 7, 2026Updated 6 months ago
- Command line UI for inspecting the contents of logs☆14Sep 28, 2026Updated last month
- IDB parser☆27Aug 5, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Linear Assignment Problem solver using Jonker-Volgenant algorithm☆22Sep 5, 2025Updated last year
- Evaluate state-of-the-art GPU joins☆14Nov 29, 2023Updated 2 years ago
- Binary Ninja plugin for reverse engineering PTX -- the virtual instruction set architecture of CUDA-based GPUs.☆65Mar 6, 2026Updated 7 months ago
- library learning w egraphs☆32May 31, 2023Updated 3 years ago
- Stack String Explorer is a ghidra plugin to find and report stack strings (and other constant strings). Identified strings are commented …☆28Aug 20, 2024Updated 2 years ago
- Learn Compiler Writing with the Feeny Programming Language☆13Feb 24, 2020Updated 6 years ago
- Logic programming in Rust☆592Aug 29, 2026Updated 2 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- An automatic first-order theorem prover in Haskell☆12Oct 16, 2015Updated 11 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.
- Friendly RSS Reader - ClojureCup 2014☆12Sep 28, 2014Updated 12 years ago
- MLFS type system: raising ML to the power of system F in a Simplest way☆19Aug 24, 2020Updated 6 years ago
- A terminal as a unix pipe: keystrokes go in as JSONL, and the screen comes out as HTML. You can then pipe that directly to a web page.☆17Updated this week
- Pure functional programming with whole-program mutability inference☆109Sep 29, 2026Updated last month
- 🪄📇 a local-first name system☆12Sep 9, 2026Updated last month
- ☆15Dec 2, 2019Updated 6 years ago
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- Bump your ida python script automatically!☆32Apr 19, 2025Updated last year
- Display memory usage in your tmux status bar or in the terminal☆18Dec 1, 2014Updated 11 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.
- Own Your Decentralized IDentifier☆12Sep 10, 2026Updated last month
- A Scheme interpreter in Python☆14Jul 7, 2014Updated 12 years ago
- Minimal examples of crates useful for compiler development☆33Updated this week
- ☆14Feb 15, 2017Updated 9 years ago
- ☆12Jul 30, 2026Updated 3 months ago
- A Rust doubly-linked intrusive list with Miri tests☆12May 4, 2024Updated 2 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