Pinned Repositories
aosoa-demo
bindall
Binding Keyboard Shortcuts Productively
cakeml-coq
CakeML semantics in Coq
cfml
formalmetacoq
Arthur's Formal Metatheory in Coq
ocaml
Trying to improve ocaml type error messages for beginners
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
pychunkseq
Chunk Sequence for Python
re
The Reach Recent Command for Unix
tlc
Library for Classical Coq
charguer's Repositories
charguer/tlc
Library for Classical Coq
charguer/formalmetacoq
Arthur's Formal Metatheory in Coq
charguer/aosoa-demo
charguer/cfml
charguer/ocaml
Trying to improve ocaml type error messages for beginners
charguer/optitrust
OptiTrust
charguer/re
The Reach Recent Command for Unix
charguer/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
charguer/pychunkseq
Chunk Sequence for Python
charguer/bindall
Binding Keyboard Shortcuts Productively
charguer/cakeml-coq
CakeML semantics in Coq
charguer/cfml-lean
CFML for Lean
charguer/CompCert
The CompCert formally-verified C compiler
charguer/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.
charguer/coq_plugins
Several plugins for Coq
charguer/diff2html
Pretty diff to html javascript library (diff2html)
charguer/lablgtk
Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git
charguer/ocaml_multicore_benchmark
Benchmarking programs for multicore OCaml
charguer/opam
Archive for all Coq related OPAM packages organized in various repositories