Pinned Loading

1. dfhack dfhack Public

   Forked from DFHack/dfhack

   Memory hacking library for Dwarf Fortress and a set of tools that use it

   C++

2. DFHack/scripts DFHack/scripts Public

   DFHack scripts

   Lua 80 231

3. EasyCrypt/easycrypt EasyCrypt/easycrypt Public

   EasyCrypt: Computer-Aided Cryptographic Proofs

   OCaml 401 64

4. formosa-crypto/dilithium formosa-crypto/dilithium Public

   eC 7 1

5. rocq-community/graph-theory rocq-community/graph-theory Public

   Graph Theory [maintainers=@chdoc,@damien-pous]

   Rocq Prover 45 4

6. rocq-community/reglang rocq-community/reglang Public

   Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

   Rocq Prover 48 7