1,486 skills found · Page 1 of 50
rlabbe / Kalman And Bayesian Filters In PythonKalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
rocq-prover / RocqThe Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ProvableHQ / Leo🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
papercss / PapercssThe Less Formal CSS Framework
AbsInt / CompCertThe CompCert formally-verified C compiler
hacl-star / Hacl StarHACL*, a formally verified cryptographic library written in F*
WebPraktikos / Universal ResumeMinimal and formal résumé (CV) website template for print, mobile, and desktop.
ethereum / YellowpaperThe "Yellow Paper": Ethereum's formal specification
nathansmith / FormalizeTeach your forms some manners!
berkeley-abc / AbcABC: System for Sequential Logic Synthesis and Formal Verification
formal-land / Rocq Of RustFormal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
google-deepmind / Formal ConjecturesA collection of formalized statements of conjectures in Lean.
runtimeverification / Verified Smart ContractsSmart contracts which are formally verified
achlipala / FrapFormal Reasoning About Programs
sarsko / CreuSATCreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
litexlang / GolitexLitex is a simple formal language Learnable in 2 hours.
SymbioticEDA / Riscv FormalRISC-V Formal Verification Framework
alexprengere / FormalSystemsA Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
uwplse / VerdiA framework for formally verifying distributed systems implementations in Coq
ligurio / Practical FmA gently curated list of companies using verification formal methods in industry
