CreuSAT - A formally verified SAT solver written in Rust and verified wi...
LatPlan : A domain-independent, image-based classical planner
Logic Circuits from the Juice library
Automatic programming by creating Pull Requests from Issues using LLMs