vincent-botbol

Pinned Repositories

AbSolute
Constraint solver based on abstract domains
Language:OCaml00
app-tezos
Ledger app for Tezos
Language:C00
bin-doc
Store OCamlDoc info in a binary file
Language:OCaml20
hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*00
lambda-eval
A web-embedded lambda term evaluator
Language:JavaScript11
Les-delices-du-palet
Language:Java00
mpi-jacobi
Language:C00
Ocabug
Visual ocaml debugger
Language:OCaml11
OCaCoinche
*cogne sur la table*
Language:OCaml01
opam-doc
Produce documentation for libraries installed with OPAM
Language:OCaml21

vincent-botbol's Repositories

vincent-botbol/bin-doc
Store OCamlDoc info in a binary file
Language:OCaml20
vincent-botbol/opam-doc
Produce documentation for libraries installed with OPAM
Language:OCaml21
vincent-botbol/lambda-eval
A web-embedded lambda term evaluator
Language:JavaScript11
vincent-botbol/Ocabug
Visual ocaml debugger
Language:OCaml11
vincent-botbol/AbSolute
Constraint solver based on abstract domains
Language:OCaml00
vincent-botbol/app-tezos
Ledger app for Tezos
Language:C00
vincent-botbol/hacl-star
HACL*, a formally verified cryptographic library written in F*
Language:F*00
vincent-botbol/Les-delices-du-palet
Language:Java00
vincent-botbol/mpi-jacobi
Language:C00
vincent-botbol/OCaCoinche
*cogne sur la table*
Language:OCaml01
vincent-botbol/ocaml-hidapi
Bindings to http://www.signal11.us/oss/hidapi/
vincent-botbol/ocaml-ledger-wallet
Language:OCaml
vincent-botbol/Onyo
Language:JavaScript
vincent-botbol/opam-repository
Main public package repository for opam, the source package manager of OCaml.
vincent-botbol/pave
Process Algebra Ve'rifier
Language:OCaml
vincent-botbol/PC2R-BR
Projet PC2R
Language:Java1