-
bot Public
Forked from rocq-prover/botA (Coq Development Team) bot written in OCaml
OCaml MIT License UpdatedDec 10, 2025 -
-
zimmi48.github.io Public
Personal web page and blog
-
-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 8, 2025 -
SC-election-2025 Public
Forked from NixOS/SC-election-20252025 Election for the Steering Committee
Haskell Other UpdatedSep 21, 2025 -
-
-
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedAug 4, 2025 -
-
coq-nix-toolbox Public
Forked from rocq-community/coq-nix-toolboxNix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
Nix MIT License UpdatedJun 30, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMay 28, 2025 -
bbchallenge-paper Public
Forked from bbchallenge/bbchallenge-paperbbchallenge's research outputs
TeX Creative Commons Attribution 4.0 International UpdatedMay 27, 2025 -
linguist Public
Forked from github-linguist/linguistLanguage Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby MIT License UpdatedApr 16, 2025 -
cvelistV5 Public
Forked from CVEProject/cvelistV5CVE cache of the official CVE List in CVE JSON 5 format
UpdatedApr 16, 2025 -
-
www Public
Forked from rocq-prover/coq.github.ioSources files of the coq.inria.fr website (static part)
HTML UpdatedOct 30, 2023 -
coq-lsp Public
Forked from ejgallego/rocq-lspVisual Studio Code Extension and Language Server Protocol for Coq
OCaml GNU Lesser General Public License v2.1 UpdatedOct 10, 2023 -
Test-Pedago Public
Logiciels éducatifs pour s'entraîner aux tables de multiplication et aux conjugaisons françaises
-
math-classes Public
Forked from rocq-community/math-classesA library of abstract interfaces for mathematical structures in Coq.
Coq Other UpdatedSep 29, 2023 -
-
docs Public
Forked from github/docsThe open-source repo for docs.github.com
JavaScript Creative Commons Attribution 4.0 International UpdatedMar 29, 2023 -
ocaml-git Public
Forked from mirage/ocaml-gitPure OCaml Git format and protocol
OCaml ISC License UpdatedMar 9, 2023 -
manifesto Public
Forked from rocq-community/manifestoDocumentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
HTML Other UpdatedNov 30, 2022 -
bertrand Public
Forked from rocq-community/bertrandCorrectness of Knuth's algorithm for prime numbers
Coq GNU Lesser General Public License v2.1 UpdatedNov 29, 2022 -
mech.v Public
Forked from jouvelot/mech.vA Coq/SSReflect library for mechanism design
Coq UpdatedOct 4, 2022 -
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
-
corn Public
Forked from rocq-community/cornCoq Repository at Nijmegen
Coq GNU General Public License v2.0 UpdatedAug 20, 2022 -
VST Public
Forked from PrincetonUniversity/VSTVerified Software Toolchain
Coq Other UpdatedDec 20, 2021 -
qarith-stern-brocot Public
Forked from rocq-community/qarith-stern-brocotBinary Rational Numbers
Coq GNU Lesser General Public License v2.1 UpdatedDec 10, 2021
{{ message }}