Explore Projects

Discover 6 open source projects

Active filters (1):

Search: formal-verification×

Clear all

Showing 1-6 of 6 projects

p-org/P

The P programming language, a formal methods-focused language for building distributed, event-driven systems

3.6K

Active

API Frameworks

CLI Tools

#formal-methods#distributed-systems#event-driven

hacl-star/hacl-star

HACL* is a formally verified cryptographic library written in the F* programming language, focused on security and high-performance.

1.8K

Stable

API Frameworks

Security Research

#cryptography#formal-verification#security

viperproject/prusti-dev

A static verifier for Rust based on the Viper verification infrastructure.

1.7K

Active

Rust

React

#authentication#type-safe#verification

creusot-rs/creusot

Creusot helps developers prove their Rust code is correct using automated formal verification.

1.5K

Active

Rust

Testing

Authentication

#formal-verification#deductive-reasoning#proof

CakeML/cakeml

A verified implementation of the Standard ML programming language, with a focus on formal semantics and verification.

1.1K

Active

Standard ML

Compilers

Formal Verification

#compiler#formal-semantics#formal-verification

formal-land/rocq-of-rust

A formal verification tool for Rust that checks 100% of execution cases to ensure safe applications.

1.1K

Active

Rocq Prover

Testing

API Frameworks

#formal-verification#proof#rocq

Stay in the loop

Get weekly updates on trending AI coding tools and projects.