foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

Gbury/dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in…

project-oak/silveroak

Formal specification and verification of hardware, especially for security and privacy.

jasisz/aver

Aver is a programming language for auditable AI-written code

formal-land/rocq-of-solidity

Formal verification for Solidity smart contracts with the theorem prover Rocq. Providing higher…

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

Lao6tu/TSFMs-Benchmark

TSFMs-Benchmark

attractivechaos/plb

Programming language benchmarks