formally - Moozonian

GitHub Repo https://github.com/hacl-star/hacl-star

HACL*, a formally verified cryptographic library written in F*

GitHub Repo https://github.com/AbsInt/CompCert

The CompCert formally-verified C compiler

GitHub Repo https://github.com/openai/miniF2F

Formal to Formal Mathematics Benchmark

GitHub Repo https://github.com/ProvableHQ/leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

GitHub Repo https://github.com/papercss/papercss

The Less Formal CSS Framework

GitHub Repo https://github.com/runtimeverification/verified-smart-contracts

Smart contracts which are formally verified

GitHub Repo https://github.com/berkeley-abc/abc

ABC: System for Sequential Logic Synthesis and Formal Verification

GitHub Repo https://github.com/achlipala/frap

Formal Reasoning About Programs

GitHub Repo https://github.com/ZipCPU/wbuart32

A simple, basic, formally verified UART controller

GitHub Repo https://github.com/ethereum/yellowpaper

The "Yellow Paper": Ethereum's formal specification