Datalog compiler embedded in Rust as a procedural macro
☆508Dec 14, 2025Updated 3 months ago
Alternatives and similar repositories for crepe
Users that are interested in crepe are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lightweight Datalog engine in Rust☆863Dec 14, 2025Updated 3 months ago
- Logic programming in Rust☆537Oct 25, 2025Updated 5 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,486Jul 7, 2023Updated 2 years ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,065Dec 10, 2025Updated 3 months ago
- egg is a flexible, high-performance e-graph library☆1,701Mar 10, 2026Updated 2 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A modern Prolog implementation written mostly in Rust.☆2,378Mar 20, 2026Updated last week
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- Datalog with support for SMT queries and first-order functional programming☆172Updated this week
- egraphs + datalog!☆716Mar 18, 2026Updated last week
- Pretty printing library for SQL☆24Jun 24, 2023Updated 2 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,526Updated this week
- SAT solver written in Rust☆275Nov 2, 2022Updated 3 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,791Mar 20, 2026Updated last week
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization