-
platform Public
Forked from rocq-prover/platformMulti platform setup for Coq, Coq libraries and tools
Creative Commons Zero v1.0 Universal UpdatedApr 11, 2025 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedApr 11, 2025 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedMar 28, 2025 -
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 1, 2025 -
coq-dpdgraph Public
Forked from rocq-community/coq-dpdgraphBuild dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Coq GNU Lesser General Public License v2.1 UpdatedJan 15, 2025 -
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 UpdatedNov 13, 2024 -
corn Public
Forked from rocq-community/cornCoq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Coq GNU General Public License v2.0 UpdatedNov 12, 2024 -
macports-ports Public
Forked from macports/macports-portsThe MacPorts ports tree
Tcl Other UpdatedMar 13, 2024 -
-
ott Public
Forked from ott-lang/ottThe Ott tool for writing definitions of programming languages and calculi
OCaml Other UpdatedDec 14, 2023 -
VST Public
Forked from PrincetonUniversity/VSTVerified Software Toolchain
Coq Other UpdatedSep 1, 2023 -
neural-net-coq-interp Public
Forked from JasonGross/neural-net-coq-interpSome experiments with doing NN interpretability in Coq
Coq MIT License UpdatedAug 7, 2023 -
action-snapcraft-build Public
Forked from canonical/action-buildA Github action for building Snapcraft projects
JavaScript MIT License UpdatedJul 20, 2023 -
metaprogramming-rosetta-stone Public
Forked from rocq-community/metaprogramming-rosetta-stoneA rosetta stone for metaprogramming in Coq, with different examples of tactics, plugins, etc implemented in different metaprogramming languages [maintainer=@yforster]
Coq MIT License UpdatedJun 28, 2023 -
autoinduct Public
Forked from tlringer/autoinductTaking a fun tactic implemented in class, and making it public for further refinement
Coq UpdatedJun 28, 2023 -
coqword Public
Forked from jasmin-lang/coqwordYet Another Coq Library on Machine Words.
Coq MIT License UpdatedFeb 28, 2023 -
vcfloat Public
Forked from VeriNum/vcfloatVCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Coq GNU Lesser General Public License v3.0 UpdatedNov 23, 2022 -
coq-elpi Public
Forked from LPCIC/coq-elpiCoq plugin embedding elpi
OCaml GNU Lesser General Public License v2.1 UpdatedOct 24, 2022 -
metacoq Public
Forked from MetaRocq/metarocqMetaprogramming in Coq
Coq MIT License UpdatedSep 30, 2022 -
QuickChick Public
Forked from QuickChick/QuickChickRandomized Property-Based Testing Plugin for Coq
Coq Other UpdatedApr 3, 2022 -
coqprime Public
Forked from thery/coqprimePrime numbers for Coq
Coq GNU Lesser General Public License v2.1 UpdatedNov 23, 2021 -
Freenove_Big_Hexapod_Robot_Kit_for_Raspberry_Pi Public
Forked from Freenove/Freenove_Big_Hexapod_Robot_Kit_for_Raspberry_PiApply to FNK0052
Python Other UpdatedOct 14, 2021 -
QUICK Public
Forked from merzlab/QUICKQUICK: A GPU-enabled ab intio quantum chemistry software package
C Mozilla Public License 2.0 UpdatedJun 26, 2021 -
-
-
wxmaxima Public
Forked from wxMaxima-developers/wxmaximaA gui for the computer algebra system Maxima built with wxWidgets
C++ Other UpdatedFeb 24, 2021 -
coq-ext-lib Public
Forked from rocq-community/coq-ext-libA library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Coq Other UpdatedDec 23, 2020 -
CompCert Public
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler
Coq Other UpdatedDec 21, 2020 -
opam-repository-mingw Public
Forked from fdopen/opam-repository-mingwwindows package repository for OPAM (mingw and msvc)
Shell Creative Commons Zero v1.0 Universal UpdatedSep 25, 2020 -
elpi Public
Forked from LPCIC/elpiEmbeddable Lambda Prolog Interpreter
Prolog GNU Lesser General Public License v2.1 UpdatedAug 17, 2020
{{ message }}