Alternatives and similar repositories for crepe

Users that are interested in crepe are comparing it to the libraries listed below

• rust-lang / datafrog

  View on GitHub
  A lightweight Datalog engine in Rust
  ☆862Dec 14, 2025Updated 2 months ago
• s-arash / ascent

  View on GitHub
  Logic programming in Rust
  ☆532Oct 25, 2025Updated 3 months ago
• vmware-archive / differential-datalog

  View on GitHub
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,473Jul 7, 2023Updated 2 years ago
• souffle-lang / souffle

  View on GitHub
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…
  ☆1,050Dec 10, 2025Updated 2 months ago
• egraphs-good / egg

  View on GitHub
  egg is a flexible, high-performance e-graph library
  ☆1,670Dec 4, 2025Updated 2 months ago
• zesterer / broom

  View on GitHub
  An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection
  ☆253Oct 23, 2022Updated 3 years ago
• mthom / scryer-prolog

  View on GitHub
  A modern Prolog implementation written mostly in Rust.
  ☆2,372Jan 15, 2026Updated last month
• jix / varisat

  View on GitHub
  SAT solver written in Rust
  ☆274Nov 2, 2022Updated 3 years ago
• salsa-rs / salsa

  View on GitHub
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,759Feb 7, 2026Updated last week
• egraphs-good / egglog

  View on GitHub
  egraphs + datalog!
  ☆681Updated this week
• creusot-rs / creusot

  View on GitHub
  Creusot helps you prove your code is correct in an automated fashion.
  ☆1,488Updated this week
• rust-lang / chalk

  View on GitHub
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,982Feb 8, 2026Updated last week
• risinglightdb / pretty-xmlish

  View on GitHub
  Pretty printing library for SQL
  ☆24Jun 24, 2023Updated 2 years ago
• frankmcsherry / dynamic-datalog

  View on GitHub
  Engines, queries, and data for dynamic Datalog computation
  ☆133Aug 4, 2021Updated 4 years ago
• loiclec / fuzzcheck-rs

  View on GitHub
  Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
  ☆449Jan 22, 2026Updated 3 weeks ago
• HarvardPL / formulog

  View on GitHub
  Datalog with support for SMT queries and first-order functional programming
  ☆165Feb 3, 2026Updated last week
• ekzhang / percival

  View on GitHub
  📝 Web-based, reactive Datalog notebooks for data analysis and visualization
  ☆632Feb 16, 2023Updated 2 years ago
• TimelyDataflow / differential-dataflow

  View on GitHub
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,905Feb 8, 2026Updated last week
• cofibrant / obake

  View on GitHub
  Versioned data-structures for Rust
  ☆208Feb 26, 2025Updated 11 months ago
• rust-analyzer / rowan

  View on GitHub
  ☆814Jul 27, 2025Updated 6 months ago
• eqlog / eqlog

  View on GitHub
  Datalog with equality for rust
  ☆72Dec 15, 2025Updated 2 months ago
• viperproject / prusti-dev

  View on GitHub
  A static verifier for Rust, based on the Viper verification infrastructure.
  ☆1,738Feb 2, 2026Updated last week
• langston-barrett / treeedb

  View on GitHub
  Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
  ☆80Feb 7, 2026Updated last week
• tgecho / canrun_rs

  View on GitHub
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆54Mar 20, 2025Updated 10 months ago
• bytecodealliance / cap-std

  View on GitHub
  Capability-oriented version of the Rust standard library
  ☆744Jan 21, 2026Updated 3 weeks ago
• frankmcsherry / datatoad

  View on GitHub
  An interactive Datalog
  ☆65Updated this week
• stateright / stateright

  View on GitHub
  A model checker for implementing distributed systems.
  ☆1,778Jul 27, 2025Updated 6 months ago
• nikomatsakis / rust-name-resolution-algorithm

  View on GitHub
  A prototype of my proposed name resolution algorithm for Rust.
  ☆13Nov 24, 2015Updated 10 years ago
• langston-barrett / duckalog

  View on GitHub
  Datalog engine based on DuckDB
  ☆10Mar 8, 2023Updated 2 years ago
• brendanzab / codespan

  View on GitHub
  Beautiful diagnostic reporting for text-based programming languages.
  ☆1,279Oct 22, 2025Updated 3 months ago
• jam1garner / binread

  View on GitHub
  A Rust crate for helping parse structs from binary data using ✨macro magic✨
  ☆267Feb 24, 2023Updated 2 years ago
• Kixiron / lasso

  View on GitHub
  A fast, concurrent string interner
  ☆164Aug 19, 2024Updated last year
• orlp / slotmap

  View on GitHub
  Slotmap data structure for Rust
  ☆1,285Dec 6, 2025Updated 2 months ago
• irrustible / async-backplane

  View on GitHub
  Simple, Erlang-inspired fault-tolerance framework for Rust Futures.
  ☆132Jul 7, 2021Updated 4 years ago
• rust-lang / ena

  View on GitHub
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆166Updated this week
• advancedresearch / poi

  View on GitHub
  a pragmatic point-free theorem prover assistant
  ☆143Sep 21, 2025Updated 4 months ago
• rodrimati1992 / abi_stable_crates

  View on GitHub
  Rust-to-Rust ffi,ffi-safe equivalents of std types,and creating libraries loaded at startup.
  ☆583Oct 12, 2023Updated 2 years ago
• TheDan64 / inkwell

  View on GitHub
  It's a New Kind of Wrapper for Exposing LLVM (Safely)
  ☆2,827Feb 4, 2026Updated last week
• rust-fuzz / arbitrary

  View on GitHub
  Generating structured data from arbitrary, unstructured input.
  ☆848Dec 16, 2025Updated last month