Pinned Loading

1. secure-foundations/vest secure-foundations/vest Public

   High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus

   Rust 40 8

2. verus-lang/verus verus-lang/verus Public

   Verified Rust for low-level systems code

   Rust 2.2k 141

3. secwasm secwasm Public

   Forked from womeier/secwasm

   An implementation of the SecWasm paper.

   OCaml

4. hindley-milner-equiRec hindley-milner-equiRec Public

   A Hindley Milner based type inference system with equi-recursive types

   Python

5. tracycy.com tracycy.com Public

   My personal website

   TypeScript