The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.
- access-control
- authorization
- backend-framework
- cedar
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A Verified Compiler for Gallina, Written in Gallina
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
SPARK TOTP library
Formally verified implementation of the CoAP protocol in SPARK/Ada
- ada
- coap
- formal-verification
- spark-ada