Pinned Repositories
algebra
Definitions for common algebraic structures
allocine
Bindings pour Allociné
api-cohttp-lwt
js_of_ocaml-friendly HTTP API client library
bsp
Java implementation of Binary Space Partitions
ccwg-archive
Archiving tools for https://codingcompetitions.withgoogle.com/
discord
A chatbot framework
futurama
Finite permutation library with an optimizing compiler
ocaml-fet
"FET is open source free software for automatically scheduling the timetable of a school, high-school or university."
toy-crypto
OCaml Public Key Cryptography Implementation (with proofs in French)
yaml
Clone of svn://forge.ocamlcore.org/svn/yaml4caml/
ghuysmans's Repositories
ghuysmans/ccwg-archive
Archiving tools for https://codingcompetitions.withgoogle.com/
ghuysmans/sqldep
SQL Dependency Extraction Tool
ghuysmans/interro
LaTeX template for school tests
ghuysmans/maria-ci
Utility scripts for MariaDB CI on Windows
ghuysmans/ocaml-har
HTTP Archive parser and tools
ghuysmans/ocaml-scratch
Scratch project codec
ghuysmans/ocaml-smartschool
Smartschool client library for OCaml
ghuysmans/Remote_Profile_Remover
Simple tool to remotely delete one or more user profiles from a Microsoft Windows workstation or server
ghuysmans/roman
OCaml module and command line tool to convert a roman numeral to an integer and vice versa
ghuysmans/sqlgg
SQL Guided (code) Generator
ghuysmans/xlconv
Excel File Conversion Tool
ghuysmans/aruco-jsoo
Bindings for js-aruco2
ghuysmans/blaze
ghuysmans/caml2csl
Caml Light to Caml Special Light (almost OCaml) translator, resurrected from INRIA archives
ghuysmans/colombe
Implementation of SMTP protocols in OCaml
ghuysmans/le-langage-caml
"Le langage Caml", by Pierre Weis and Xavier Leroy (InterEditions, 1993)
ghuysmans/ocaml-aiken
"The Aiken format is a very simple way of creating multiple choice questions format using a clear human-readable format in a text file."
ghuysmans/ocaml-blood
Type-check blood group compatibility using GADTs
ghuysmans/ocaml-caqti
Cooperative-threaded access to relational data
ghuysmans/ocaml-cloze
Cloze deletion parser, pretty-printer (for Anki), and tools
ghuysmans/ocaml-mariadb
OCaml bindings to MariaDB, supporting the nonblocking API
ghuysmans/ocaml-ntfy
Bindings for ntfy.sh, a free notification service
ghuysmans/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
ghuysmans/ppx_deriving
Type-driven code generation for OCaml
ghuysmans/rescript-promise
Proposal for a proper Js.Promise binding
ghuysmans/rescript-tea
The Elm Architecture for Rescript
ghuysmans/rescript-webapi
ReScript bindings to the DOM and other Web APIs
ghuysmans/scratch
Personal scratch code
ghuysmans/setup-mariadb
The missing action for MariaDB
ghuysmans/sqlfilter
SQL fragments parser and pretty printer