braibant/ocaml.org
Implementation of the ocaml.org website.
Developer Profile
braibant
Discovered public repositories for braibant in the GitHub catalog.
braibant/braibant.github.io
Public repository.
braibant/talk-pir2-2013
Public repository.
braibant/talk-gt-coq-opam
Public repository.
braibant/why3-sudoku
Public repository.
braibant/icfp-contest-2013
Public repository.
braibant/coq-survey
Public repository.
braibant/weak-memory-gpu
Public repository.
braibant/articheck
Public repository.
braibant/hash-consing-coq
Public repository.
braibant/opam
Public repository.
braibant/cpam-repo
Public repository.
braibant/invert_paper
Public repository.
braibant/invert
Public repository.
braibant/evm_compute
Public repository.
braibant/exploit-plugin
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins
braibant/apply-once
A coq plugin that defines a tactical that apply a tactic to each hypothesis in a given goal
braibant/Dump-plugin
A plugin for Coq to output values to text-files.
braibant/Synthesis
Public repository.
braibant/Timing-plugin
A Coq plugin that allows a user to start and stop timers.
braibant/coq-tutorial-ml-tactics
A tutorial on how to write OCaml tactics for the Coq proof assistant