76 results found Sort:
- Filter by Primary Language:
- Coq (9)
- Rust (6)
- Python (5)
- OCaml (4)
- TeX (3)
- Ada (3)
- Julia (3)
- Lean (3)
- Go (2)
- Haskell (2)
- C (2)
- Isabelle (2)
- Standard ML (2)
- Java (2)
- TLA (2)
- Verilog (2)
- VHDL (1)
- C# (1)
- C++ (1)
- Common Lisp (1)
- Dafny (1)
- F* (1)
- HTML (1)
- JavaScript (1)
- Kotlin (1)
- MATLAB (1)
- Move (1)
- SMT (1)
- SystemVerilog (1)
- TypeScript (1)
- +
The P programming language.
Created
2015-06-21
4,194 commits to master branch, last one a day ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,903 commits to main branch, last one 11 days ago
A static verifier for Rust, based on the Viper verification infrastructure.
Created
2019-05-22
7,315 commits to master branch, last one about a year ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
3,366 commits to master branch, last one 19 hours ago
CakeML: A Verified Implementation of ML
Created
2012-10-09
23,951 commits to master branch, last one a day ago
Formal verification tool for Rust: check 100% of execution cases of your programs π¦ to make super safe applications! βοΈ π βοΈ π¦
Created
2022-12-28
2,759 commits to main branch, last one 2 days ago
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Created
2020-08-21
195 commits to main branch, last one about a year ago
εειιζ³η»δΉ
Created
2020-11-09
94 commits to main branch, last one about a year ago
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created
2021-08-24
571 commits to master branch, last one about a year ago
A gently curated list of companies using verification formal methods in industry
Created
2018-02-13
98 commits to master branch, last one 2 months ago
A List of Free and Open Source Hardware Verification Tools and Frameworks
Created
2018-12-21
75 commits to master branch, last one about a year ago
Verified Software Toolchain
Created
2014-11-21
7,705 commits to master branch, last one 2 months ago
ACL2 System and Books as Maintained by the Community
Created
2014-09-01
45,450 commits to master branch, last one 18 hours ago
A Fast and Safe Python based on PyPy
Created
2018-06-04
121 commits to mesapy2.7 branch, last one 5 years ago
A framework for the elicitation, specification, formalization and analysis of requirements.
Created
2019-11-26
1,332 commits to master branch, last one 17 days ago
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Created
2021-04-10
291 commits to main branch, last one 6 days ago
My personal repository of formally verified mathematics.
Created
2017-07-04
1,410 commits to main branch, last one about a month ago
Awesome ASIC design verification
Created
2020-03-02
19 commits to master branch, last one 3 years ago
The Web3 Security Resources Hub is a comprehensive collection of curated tools, guides, and best practices for securing decentralized systems and smart contracts in the blockchain space.
Created
2024-09-20
10 commits to main branch, last one 7 months ago
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
Created
2021-06-29
41 commits to main branch, last one 2 months ago
A verification toolchain for Rust programs
Created
2021-11-02
3,171 commits to main branch, last one a day ago
A Rust verification tool
Created
2023-01-25
3,842 commits to main branch, last one 2 days ago
Scalable symbolic-numeric set computations in Julia
Created
2017-10-03
6,476 commits to master branch, last one 7 days ago
Please see https://github.com/hacspec/hax
This repository has been archived
(exclude archived)
Created
2020-03-12
1,416 commits to master branch, last one about a year ago
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
140 commits to main branch, last one 29 days ago
Learn TLA+ for free! No prior experience necessary!
Created
2022-01-27
180 commits to master branch, last one about a month ago
A curated set of links to formal methods involving provable code.
Created
2017-11-10
16 commits to master branch, last one 3 years ago
Computing reachable states of dynamical systems in Julia
Created
2019-12-03
1,988 commits to master branch, last one 8 days ago
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
Created
2025-02-23
41 commits to master branch, last one 17 days ago
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Created
2018-05-09
778 commits to Community2018 branch, last one 6 years ago