Pinned Loading

1. strandsrocq/strandsrocq strandsrocq/strandsrocq Public

   StrandsRocq is a framework based on the strand spaces model for symbolic protocol verification in the Rocq proof assistant.

   Rocq Prover 2

2. alvie alvie Public

   The ALVIE tool, accompanying the paper: "Bridging the Gap: Automated Analysis of Sancus"

   OCaml 5 1

3. stv stv Public

   Coq development for secure translation validation

   Coq 2

4. incremental-mincaml incremental-mincaml Public

   Incremental typing for a small subset of OCaml

   OCaml 7

5. sOS sOS Public

   Another small experimental Kernel...

   C 1 1

6. raytracer raytracer Public

   A simple raytracer

   C++ 1 1