egraphs-good / egglog
egraphs + datalog!
☆417Updated last week
Related projects: ⓘ
- logic programming in Rust☆387Updated 2 months ago
- egg is a flexible, high-performance e-graph library☆1,337Updated 2 weeks ago
- Datalog compiler embedded in Rust as a procedural macro☆452Updated 6 months ago
- Rewrite Rule Inference Using Equality Saturation☆113Updated 3 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆607Updated 5 months ago
- The MaPLe compiler for efficient and scalable parallel functional programming☆320Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆291Updated this week
- Metamath Zero specification language☆307Updated 2 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆200Updated 7 months ago
- A verification toolchain for Rust programs☆181Updated this week
- Crucible is a library for symbolic simulation of imperative programs☆629Updated last week
- The Vellvm (Verified LLVM) coq development.☆389Updated last week
- A language server for Standard ML.☆207Updated 2 weeks ago
- A lightweight Datalog engine in Rust☆795Updated 2 years ago
- Refinement Types for Rust☆639Updated this week
- Inpla: Interaction nets as a programming language (the current version)☆273Updated last week
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆638Updated 3 months ago
- SAT solver written in Rust☆253Updated last year
- Rust bindings for the Z3 solver.☆338Updated last month
- Memory Management ToolKit☆373Updated last week
- General-purpose abstractions for incremental computing, in Rust☆343Updated 2 years ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,113Updated this week
- a model of MIR and the Rust type/trait system☆282Updated last month
- Research on integrating datalog & lambda calculus via monotonicity types☆385Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆366Updated this week
- Datalog with support for SMT queries and first-order functional programming☆149Updated 2 weeks ago
- A work-in-progress language and compiler for verified low-level programming☆292Updated last month
- Simple verification of Rust programs via functional purification in Lean 2(!)☆331Updated 7 years ago
- Hazel, a live functional programming environment with typed holes☆744Updated this week
- The rustic MLIR bindings in Rust☆304Updated this week