Automatic test generation for Java

property testing and verification front-end for Rust

Dafny is a verification-aware programming language

Cedar-agent is the easiest way to deploy and run Cedar

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

Command line helpers for fuzzing

A Small Quantum Intermediate Representation