42 results found Sort:
- Filter by Primary Language:
- Rust (5)
- Coq (4)
- Python (4)
- TeX (3)
- OCaml (3)
- Ada (2)
- Scala (2)
- TLA (2)
- Java (2)
- Lean (1)
- MATLAB (1)
- TypeScript (1)
- Agda (1)
- C# (1)
- Common Lisp (1)
- F* (1)
- Go (1)
- Haskell (1)
- Isabelle (1)
- Jupyter Notebook (1)
- +
the champagne of beta embedded databases
Created
2016-01-11
4,373 commits to main branch, last one about a year ago
The P programming language.
Created
2015-06-21
4,172 commits to master branch, last one 12 days ago
My own notes (drafts mostly) about software quality
Created
2014-05-12
367 commits to master branch, last one about a year ago
Lean 3's obsolete mathematical components library: please use mathlib4
This repository has been archived
(exclude archived)
Created
2017-07-21
18,271 commits to master branch, last one about a year ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,763 commits to main branch, last one 23 days ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
2,914 commits to master branch, last one 5 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
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
Created
2021-08-24
571 commits to master branch, last one 7 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
Verified Software Toolchain
Created
2014-11-21
7,697 commits to master branch, last one 2 months ago
Links to tools by subject
Created
2013-09-24
1 commits to main branch, last one about a year ago
ACL2 System and Books as Maintained by the Community
Created
2014-09-01
41,716 commits to master branch, last one 2 days ago
Verification framework and tool for higher-order Scala programs
Created
2016-08-17
4,039 commits to main branch, last one 9 days ago
TLA+ language support for Visual Studio Code
Created
2019-07-14
676 commits to master branch, last one 12 days ago
A verification toolchain for Rust programs
Created
2021-11-02
2,583 commits to main branch, last one 24 hours ago
Learn TLA+ for free! No prior experience necessary!
Created
2022-01-27
177 commits to master branch, last one 20 days ago
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Created
2019-11-17
706 commits to master branch, last one 3 months ago
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
100 commits to main branch, last one 3 days ago
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
Created
2023-03-16
11 commits to main branch, last one 3 months ago
Jupyter notebooks for tutorial on the Z3 SMT solver
Created
2019-12-13
41 commits to master branch, last one 2 years 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 core language for rule-based hardware design 🦑
Created
2020-03-27
1,298 commits to master branch, last one 2 years ago
Neural Network Verification Software Tool
safe-ai
autonomy
reachability
verification
safe-autonomy
cyber-physical
formal-methods
hybrid-systems
neural-network
trustworthy-ai
assured-autonomy
formal-verification
reachability-analysis
cyber-physical-systems
robustness-verification
neural-network-verification
neural-network-certification
trustworthy-machine-learning
Created
2018-08-20
1,825 commits to master branch, last one 6 days ago
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Created
2018-02-07
3,366 commits to main branch, last one a day ago
Interface with the rustc compiler for the purpose of program verification
Created
2021-10-21
2,086 commits to main branch, last one a day ago
Public snapshots of "ACSL by Example"
Created
2017-06-13
101 commits to master branch, last one 3 years ago
A modular sat/smt solver with proof output.
Created
2014-10-29
736 commits to master branch, last one 11 months ago
Automated Schedule Generation for Time-Sensitive Networks (TSN).
Created
2019-05-21
60 commits to master branch, last one about a year ago
A script for running TLA+/TLC from the command line
Created
2020-01-10
32 commits to master branch, last one 4 years ago
A Coq-based synthesis of Scala programs which are correct-by-construction
Created
2017-07-20
194 commits to master branch, last one 2 years ago