31 Open source projects that are alternatives of or similar to Mathlib

Meaningful control of data in distributed systems.

the champagne of beta embedded databases

A gently curated list of companies using verification formal methods in industry

Links to tools by subject

Z-EVES for linux. Probably the only place you can find it

TLA+ language support for Visual Studio Code

The Verifiably Safe Reinforcement Learning Framework

Intrepyd Model Checker

Frama-C and WP tutorial

The Overture Tool

Jupyter notebooks for tutorial on the Z3 SMT solver

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Formal semantics of LLVM IR in K

Automated Schedule Generation for Time-Sensitive Networks (TSN).

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family

A tool for Model Based Testing

www.imandra.ai

A script for running TLA+/TLC from the command line

Read-only mirror of the Klever Git repository

A core language for rule-based hardware design 🦑

A modular sat/smt solver with proof output.

Experimental Smart Contracts In Plutus.

Verification framework and tool for higher-order Scala programs

ACL2 System and Books as Maintained by the Community

Software Quality Wiki

TLA+ language support for Visual Studio Code

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

HACL*, a formally verified cryptographic library written in F*

High-assurance implementation of the Ouroboros protocol family

A Coq-based synthesis of Scala programs which are correct-by-construction

CoreIR Symbolic Analyzer