64 results found Sort:
The P programming language.
Created
2015-06-21
4,173 commits to master branch, last one 11 days ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,774 commits to main branch, last one 4 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 9 months ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
2,977 commits to master branch, last one 2 days ago
CakeML: A Verified Implementation of ML
Created
2012-10-09
23,806 commits to master branch, last one 24 hours 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 8 months 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 8 months ago
A gently curated list of companies using verification formal methods in industry
Created
2018-02-13
95 commits to master branch, last one 5 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,698 commits to master branch, last one 15 days ago
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Created
2022-12-28
2,486 commits to main branch, last one 2 days ago
ACL2 System and Books as Maintained by the Community
Created
2014-09-01
42,120 commits to master branch, last one 23 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
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
274 commits to main branch, last one 7 days ago
My personal repository of formally verified mathematics.
Created
2017-07-04
1,352 commits to main branch, last one a day ago
Awesome ASIC design verification
Created
2020-03-02
19 commits to master branch, last one 2 years 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
39 commits to main branch, last one 26 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 10 months ago
Scalable symbolic-numeric set computations in Julia
Created
2017-10-03
6,153 commits to master branch, last one 11 hours ago
A verification toolchain for Rust programs
Created
2021-11-02
2,684 commits to main branch, last one 3 days ago
A Rust verification tool
Created
2023-01-25
3,345 commits to main branch, last one 3 days ago
Learn TLA+ for free! No prior experience necessary!
Created
2022-01-27
177 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,924 commits to master branch, last one 24 days ago
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
121 commits to main branch, last one 5 days 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 2 months 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 5 years ago
A Verified Compiler for Gallina, Written in Gallina
Created
2017-09-13
2,273 commits to master branch, last one 4 months ago
Tools for Yul.
Created
2022-08-05
242 commits to main branch, last one about a year ago