◐ Shell
clean mode source ↗

chdoc - Overview

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

View chdoc's full-sized avatar

Christian Doczkal chdoc

Block or report chdoc

Pinned Loading

  1. Forked from DFHack/dfhack

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

    C++

  2. DFHack scripts

    Lua 80 231

  3. EasyCrypt: Computer-Aided Cryptographic Proofs

    OCaml 402 64

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

    Rocq Prover 45 4

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

    Rocq Prover 48 7