egraphs-good / eggLinks
egg is a flexible, high-performance e-graph library
☆1,503Updated this week
Alternatives and similar repositories for egg
Users that are interested in egg are comparing it to the libraries listed below
Sorting:
- egraphs + datalog!☆539Updated last week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆642Updated 3 weeks ago
- an educational compiler intermediate representation☆668Updated this week
- Logic programming in Rust☆467Updated 3 weeks ago
- Creusot helps you prove your code is correct in an automated fashion.☆1,272Updated last week
- The rustic MLIR bindings in Rust☆406Updated this week
- Refinement Types for Rust☆738Updated this week
- An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematic…☆342Updated 2 weeks ago
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,647Updated 2 weeks ago
- Datalog compiler embedded in Rust as a procedural macro☆473Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,391Updated this week
- A lightweight Datalog engine in Rust☆820Updated 3 years ago
- Verified Rust for low-level systems code☆1,853Updated this week
- Rust grammar tool libraries and binaries☆548Updated last week
- Rust mid-level IR Abstract Interpreter☆1,008Updated 9 months ago
- Rust bindings for the Z3 solver.☆394Updated 5 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆685Updated last month
- LLVM IR in natural Rust data structures☆607Updated this week
- Crucible is a library for symbolic simulation of imperative programs☆719Updated this week
- A high-level distributed programming framework for Rust☆915Updated this week
- A precise specification for "Rust lite / MIR plus"☆868Updated last week
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,589Updated this week
- Automatic verification of LLVM optimizations☆911Updated 2 weeks ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.☆1,989Updated 5 months ago
- Kani Rust Verifier☆2,567Updated this week
- Language development libraries for Rust☆953Updated 5 months ago
- Memory Management ToolKit☆442Updated last week
- An implementation of differential dataflow using timely dataflow on Rust.☆2,722Updated 2 weeks ago
- A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.☆824Updated last year
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,932Updated this week