Formal - Moozonian

GitHub Repo https://github.com/alexprengere/FormalSystems

A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"

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

The "Yellow Paper": Ethereum's formal specification

GitHub Repo https://github.com/google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean.

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

Formal to Formal Mathematics Benchmark

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

The Less Formal CSS Framework

GitHub Repo https://github.com/nathansmith/formalize

Teach your forms some manners!

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

Formal Reasoning About Programs

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

The CompCert formally-verified C compiler

GitHub Repo https://github.com/SymbioticEDA/riscv-formal

RISC-V Formal Verification Framework

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

ABC: System for Sequential Logic Synthesis and Formal Verification