Conditional Rewrite Rule Synthesis Using E-Graphs and LLMs

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

chomp

Mini egglog in Python

SeaHorn Verification Framework

Race Condition Running

FPGA synthesis tool powered by program synthesis

A library to write verification harnesses for the Solana Certora Prover **Deprecated: use https://github.com/Certora/cvlr**

Memory-effficient immutable collection types for Kotlin

egraphs + datalog!

SMT Preprocessing via EqSat

CVLDoc parser backend

Server stack for tracking runners during a road relay

Embedded Datafun in Haskell

Number systems library in Rust

Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3

Using mutations to improve specs and test suites

A rhythm rpg with randomly generated beatmaps.

Rewrite Rule Inference Using Equality Saturation

Equivalent and redundant mutant detection with e-graphs!!!

A rust interval arithmetic library which provides flags that detect domain errors.

Dynamic Tensor Rematerialization prototype (modified PyTorch) and simulator. Paper: https://arxiv.org/abs/2006.09616

egg is a flexible, high-performance e-graph library

EGraphs in OCaml

Scheduling team marathon relays with Answer Set Programming

An SMT frontend that runs multiple backend solvers in parallel, returning the first result

Optimize floating-point expressions for accuracy

egraphs in rust

configurations