A semi-automated tool for Formal Verification of Soroban contracts using the Software Analysis Workbench (SAW).
Last 6 months · Weekly commits
Cryptol: The Language of Cryptography
Crucible is a library for symbolic simulation of imperative programs
A general-purpose Python package for Koopman theory using deep learning.
Plugin for rustc to dump MIR in JSON format
Open System Under Test (SUT) for the VERSE demonstrator
Collection of Exercises and Solutions for SAW and Cryptol