Pinned Repositories
batteries-included
Batteries Included project
compare-eq
CompCert
The CompCert formally-verified C compiler
coq
Coq 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 development of machine-checked proofs.
coq-elpi
Coq plugin embedding elpi
corn
Coq Repository at Nijmegen
deriving
Class instances for Coq inductive types with little boilerplate
dune
A composable build system for OCaml.
flocq
Shallow fork of https://gitlab.inria.fr/flocq/
OCaCoinche
*cogne sur la table*
eponier's Repositories
eponier/OCaCoinche
*cogne sur la table*
eponier/batteries-included
Batteries Included project
eponier/compare-eq
eponier/CompCert
The CompCert formally-verified C compiler
eponier/coq
Coq 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 development of machine-checked proofs.
eponier/coq-elpi
Coq plugin embedding elpi
eponier/corn
Coq Repository at Nijmegen
eponier/deriving
Class instances for Coq inductive types with little boilerplate
eponier/dune
A composable build system for OCaml.
eponier/flocq
Shallow fork of https://gitlab.inria.fr/flocq/
eponier/jasmin
Jasmin compiler
eponier/jasmin-tutorial
An introduction to the Jasmin language from a programmer perspective
eponier/ocaml
The core OCaml system: compilers, runtime system, base libraries
eponier/ocamlgraph
OCaml graph library
eponier/ocamloscope
OCaml API search engine
eponier/oci
OCI: framework for continuous integrations and benchmarks
eponier/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
eponier/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.