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 72 217

3. EasyCrypt/easycrypt EasyCrypt/easycrypt Public

   EasyCrypt: Computer-Aided Cryptographic Proofs

   OCaml 363 52

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

   eC 3

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

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

   Rocq Prover 38 4

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

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

   Coq 45 7