40 results found Sort:
- Filter by Primary Language:
- Rust (5)
- Python (4)
- Coq (4)
- OCaml (3)
- Ada (2)
- Java (2)
- TeX (2)
- TLA (2)
- Jupyter Notebook (1)
- Lean (1)
- MATLAB (1)
- Scala (1)
- TypeScript (1)
- Agda (1)
- C# (1)
- Common Lisp (1)
- F* (1)
- Haskell (1)
- HTML (1)
- Isabelle (1)
- +
the champagne of beta embedded databases
Created
2016-01-11
4,373 commits to main branch, last one 10 months ago
The P programming language.
Created
2015-06-21
4,152 commits to master branch, last one 13 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
Created
2017-07-21
18,271 commits to master branch, last one 7 months ago
HACL*, a formally verified cryptographic library written in F*
Created
2016-06-23
18,654 commits to main branch, last one 3 days ago
Creusot helps you prove your code is correct in an automated fashion.
Created
2021-01-25
2,229 commits to master branch, last one 9 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 2 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 2 months ago
A gently curated list of companies using verification formal methods in industry
Created
2018-02-13
94 commits to master branch, last one 2 months ago
Verified Software Toolchain
Created
2014-11-21
7,677 commits to master branch, last one a day ago
Links to tools by subject
Created
2013-09-24
1 commits to main branch, last one 9 months ago
Verification framework and tool for higher-order Scala programs
Created
2016-08-17
3,975 commits to main branch, last one 17 days ago
ACL2 System and Books as Maintained by the Community
Created
2014-09-01
38,043 commits to master branch, last one 20 hours ago
TLA+ language support for Visual Studio Code
Created
2019-07-14
646 commits to master branch, last one 4 months ago
Learn TLA+ for free! No prior experience necessary!
Created
2022-01-27
173 commits to master branch, last one 23 days ago
A verification toolchain for Rust programs
Created
2021-11-02
2,349 commits to main branch, last one 4 hours ago
MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Created
2019-11-17
694 commits to master branch, last one 10 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
Jupyter notebooks for tutorial on the Z3 SMT solver
Created
2019-12-13
41 commits to master branch, last one about a year ago
A core language for rule-based hardware design 🦑
Created
2020-03-27
1,298 commits to master branch, last one 2 years ago
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Created
2018-02-07
3,036 commits to main branch, last one about a month 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,720 commits to master branch, last one 9 hours ago
A modular sat/smt solver with proof output.
Created
2014-10-29
736 commits to master branch, last one 5 months ago
Public snapshots of "ACSL by Example"
Created
2017-06-13
101 commits to master branch, last one 2 years ago
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
Created
2024-03-26
50 commits to main branch, last one 3 days 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
Automated Schedule Generation for Time-Sensitive Networks (TSN).
Created
2019-05-21
60 commits to master branch, last one 11 months 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
Library for building symbolically executable stack-based virtual machines
Created
2022-03-16
47 commits to master branch, last one about a year ago
This repository has no description...
Created
2016-08-10
1,540 commits to master branch, last one 6 days ago