7
Repos
746
Stars
208
Forks
47
Watchers
🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
Repositories (7)
vsrocq
rocq-prover/vsrocq
Rocq Prover
Visual Studio Code extension for Rocq
464
116
coq-ext-lib
rocq-community/coq-ext-lib
Rocq Prover
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
136
54
docker-coq
rocq-community/docker-coq
Shell
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
40
4
coqffi
rocq-community/coqffi
OCaml
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
38
10
chapar
rocq-community/chapar
Coq
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
32
7
coq-plugin-template
rocq-community/coq-plugin-template
OCaml
Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
23
12
huffman
rocq-community/huffman
Rocq Prover
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
13
5