ghuysmans's repositories
toy-crypto
OCaml Public Key Cryptography Implementation (with proofs in French)
ccwg-archive
Archiving tools for https://codingcompetitions.withgoogle.com/
conformist
Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.
js_of_ocaml
Compiler from OCaml to Javascript.
logonHours
logonHours AD attribute manipulation library
ocaml-activex
Bindings to ActiveX through winax (Node.js)
ocaml-scratch
Scratch project codec
ocaml-smartschool
Smartschool client library for OCaml
ocaml-webdriver
Web browser remote control
ppx_camel_case
Generate camel-case [@name] and [@key] for use with other PPX derivers
ppx_protocol_conv
Pluggable serialization and deserialization of ocaml data strucures based on type_conv
press_forward
Monitor arrow key events to understand why TrackMania is unplayable on some machines
Remote_Profile_Remover
Simple tool to remotely delete one or more user profiles from a Microsoft Windows workstation or server
ppx_deriving
Type-driven code generation for OCaml
setup-mariadb
The missing action for MariaDB