Pinned Repositories
articheck
coq-tutorial-ml-tactics
A tutorial on how to write OCaml tactics for the Coq proof assistant
exploit-plugin
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
icfp-contest-2014
ocaml-bitarray
ocaml-lmdb
ocaml-windows-bootstrap
opam
Synthesis
Timing-plugin
A Coq plugin that allows a user to start and stop timers.
braibant's Repositories
braibant/coq-tutorial-ml-tactics
A tutorial on how to write OCaml tactics for the Coq proof assistant
braibant/Synthesis
braibant/articheck
braibant/ocaml-lmdb
braibant/ocaml-windows-bootstrap
braibant/Timing-plugin
A Coq plugin that allows a user to start and stop timers.
braibant/icfp-contest-2014
braibant/ocaml-bitarray
braibant/advent-of-code
braibant/ocaml-ctypes
Library for binding to C libraries using pure OCaml
braibant/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
braibant/windows-opam-repository
braibant/braibant.github.io
braibant/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.
braibant/ctypes-mitm
braibant/Dump-plugin
A plugin for Coq to output values to text-files.
braibant/gt-coq-opam-2013
braibant/HeatMap
Heat map generation tools
braibant/icfp-2021
braibant/icfp-contest-2015
braibant/icfpcontest2014.github.io
braibant/libfixmath
Automatically exported from code.google.com/p/libfixmath
braibant/merlin
Context sensitive completion for OCaml in Vim and Emacs
braibant/ocaml
Read-only mirror of INRIA SVN
braibant/ocaml-manual
Mirror of the OCaml manual
braibant/ocaml-pr6764
braibant/ocaml-rs
OCaml extensions in Rust
braibant/ocaml-rust
Safe OCaml-Rust Foreign Function Interface
braibant/ocaml.org
Implementation of the ocaml.org website.
braibant/scripts