vincent-botbol

vincent-botbol's repositories

HACL*, a formally verified cryptographic library written in F*

Apache-2.0000

Main public package repository for opam, the source package manager of OCaml.

CC0-1.0000

Bindings to http://www.signal11.us/oss/hidapi/

ISC000

Language:OCamlISC000

Ledger app for Tezos

Apache-2.0000

Constraint solver based on abstract domains

Language:OCaml000

*cogne sur la table*

Language:OCaml000

Language:Java000

Process Algebra Ve'rifier

Language:OCamlGPL-2.0000

Language:C000

A web-embedded lambda term evaluator

Language:JavaScript100

Produce documentation for libraries installed with OPAM

Language:OCaml200

Store OCamlDoc info in a binary file

Language:OCaml200

Visual ocaml debugger

Language:OCaml100

Language:JavaScript000

Projet PC2R

Language:Java000