ghuysmans

toy-crypto

OCaml Public Key Cryptography Implementation (with proofs in French)

ccwg-archive

Archiving tools for https://codingcompetitions.withgoogle.com/

sqldep

SQL Dependency Extraction Tool

cardinal

Solver for Cardinal Chains puzzles

conformist

Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.

dstask

Git powered terminal-based todo manager -- markdown note page per task. Single binary!

interro

LaTeX template for school tests

ipcalc

IP Address Calculator

jdbcldap

js_of_ocaml

Compiler from OCaml to Javascript.

logonHours

logonHours AD attribute manipulation library

maria-ci

Utility scripts for MariaDB CI on Windows

ocaml-activex

Bindings to ActiveX through winax (Node.js)

ocaml-gpx

GPX in OCaml

ocaml-har

HTTP Archive parser and tools

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

shenzhen

A parser for SHENZHEN I/O assembly programs

sqlgg

SQL Guided (code) Generator

srt2html

Convert srt files to HTML tables

transept

An OCaml modular and generalised parser combinator library.

tyxml

Build valid HTML and SVG documents

xlconv

Excel File Conversion Tool

ppx_deriving

Type-driven code generation for OCaml

setup-mariadb

The missing action for MariaDB