firefighterduck

firefighterduck's Stars

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++14.4k112897470

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.2k231.7k92

• rust-lang/chalk

  An implementation and definition of the Rust trait system using a PROLOG-like logic solver

  Language:Rust1.8k70210182

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.4k23139138

• minirust/minirust

  A precise specification for "Rust lite / MIR plus"

  Language:Rust819165134

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq812511813

• ferrocene/specification

  Ferrocene Language Specification

  Language:Python4002120830

• rust-lang/a-mir-formality

  a model of MIR and the Rust type/trait system

  Language:Rust285296533

• AeneasVerif/aeneas

  A verification toolchain for Rust programs

  Language:OCaml196513215

• AeneasVerif/charon

  Interface with the rustc compiler for the purpose of program verification

  Language:Rust104514817

• leanprover-community/iris-lean

  Lean 4 port of Iris, a higher-order concurrent separation logic framework

  Language:Lean682636

• pandaman64/sabi

  Formal semantics of Rust

  Language:Isabelle23600

• isabelle-prover/isabelle-linter

  Linter component for Isabelle.

  Language:Scala177183

• astrobeastie/sequentprover

  proof search algorithm for boolean formulae

  Language:Rust1200