egraphs-good / eggLinks
egg is a flexible, high-performance e-graph library
☆1,551Updated last week
Alternatives and similar repositories for egg
Users that are interested in egg are comparing it to the libraries listed below
Sorting:
- egraphs + datalog!☆598Updated this week
- Creusot helps you prove your code is correct in an automated fashion.☆1,323Updated this week
- an educational compiler intermediate representation☆685Updated 3 weeks ago
- Logic programming in Rust☆482Updated 3 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆654Updated 2 months ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,672Updated 2 weeks ago
- Refinement Types for Rust☆760Updated this week
- The rustic MLIR bindings in Rust☆435Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,524Updated last week
- Verified Rust for low-level systems code☆2,006Updated this week
- Rust grammar tool libraries and binaries☆552Updated last week
- LLVM IR in natural Rust data structures☆634Updated 3 months ago
- Rust bindings for the Z3 solver.☆419Updated this week
- A lightweight Datalog engine in Rust☆838Updated 3 years ago
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆354Updated last week
- A precise specification for "Rust lite / MIR plus"☆922Updated this week
- Crucible is a library for symbolic simulation of imperative programs☆741Updated this week
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,674Updated 2 weeks ago
- A model checker for implementing distributed systems.☆1,694Updated last month
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,954Updated 3 weeks ago
- Datalog compiler embedded in Rust as a procedural macro☆478Updated last year
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆829Updated last year
- Memory Management ToolKit☆463Updated this week
- Rust mid-level IR Abstract Interpreter☆1,012Updated last year
- Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦☆969Updated this week
- Kani Rust Verifier☆2,650Updated this week
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆2,069Updated 8 months ago
- Language development libraries for Rust☆969Updated 8 months ago
- Automatic verification of LLVM optimizations☆960Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,223Updated last week