• s2sLoop

    Parts of the code of my PhD

    Updated

  • OCaml 1 0

    coq2tex

    Produce LaTeX code from Coq

    Updated

  • OCaml 1 0

    anMLcompiler

    a local clone of a famous ML compiler

    Updated

  • Verilog 1 0

    PilkiLib

    My general purpose coq library

    Updated

  • Verilog 2 0

    cases

    A bit more than the (S*)Case tactics in Coq

    Updated

  • OCaml 1 1

    FPdNaCl

    Formally Proved Native Client

    Updated

  • Verilog 1 0

    OCertif

    Proving the OCaml standard library with CFML

    Updated

  • OCaml 1 0

    cfml_git

    A copy of the cfml svn repo to play with it

    Updated

  • OCaml 1 0

    zombi

    Ze Ocaml Builder

    Updated