A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

A hardware component library developed with ROHD.

ACL2 System and Books as Maintained by the Community

ABC: System for Sequential Logic Synthesis and Formal Verification

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc

Yosys Open SYnthesis Suite

Implementing WISHBONE in TSL

Open-source implementation of AlphaEvolve

Patched Attention for Nonlinear Dynamics

erdos szekeres convex polygon problem formalization in Isabelle

Hash-based post quantum signatures in Rust

Chess in Lean 4