Pinned Loading

1. goose-lang/goose goose-lang/goose Public

   Goose converts a subset of Go to Rocq

   Go 137 18

2. mit-pdos/perennial mit-pdos/perennial Public

   Verifying concurrent storage and distributed systems

   Rocq Prover 216 47

3. iris-simp-lang iris-simp-lang Public

   We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

   Rocq Prover 58 6

4. rocq-community/rocq-tricks rocq-community/rocq-tricks Public

   Tricks you wish the Coq manual told you [maintainer=@tchajed]

   Coq 538 24

5. botc-tools botc-tools Public

   Storyteller tools for Blood on the Clocktower

   TypeScript 9 6