Pinned Loading

1. simple_refinement simple_refinement Public

   A Verus proof showing a circular buffer state machine refines a multiset state machine.

   Rust

2. vst_linked_list vst_linked_list Public

   Follow-along of https://softwarefoundations.cis.upenn.edu/vc-current/Verif_stack.html

   Rocq Prover

3. xdr_parser_rs xdr_parser_rs Public

   XDR Parser in Rust

   Rust

4. compression_examples compression_examples Public

   Examples of compression schemes in Rust

   Rust

5. flex flex Public

   Forked from westes/flex

   The Fast Lexical Analyzer - scanner generator for lexing in C and C++

   C

6. fx-private-relay fx-private-relay Public

   Forked from mozilla/fx-private-relay

   Keep your email safe from hackers and trackers. Make an email alias with 1 click, and keep your address to yourself.

   TypeScript