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/algebra
Definitions for common algebraic structures
ghuysmans/ocaml-fet
"FET is open source free software for automatically scheduling the timetable of a school, high-school or university."
ghuysmans/api-cohttp-lwt
js_of_ocaml-friendly HTTP API client library
ghuysmans/allocine
Bindings pour Allociné
ghuysmans/jsoo_speech
js_of_ocaml binding for the Web Speech API
ghuysmans/asgitowsgi
Hackish ASGI application wrapper. See https://github.com/abersheeran/a2wsgi for a production-grade alternative.
ghuysmans/ocaml
The core OCaml system: compilers, runtime system, base libraries
ghuysmans/bheap
OCaml binary heap implementation by Jean-Christophe Filliatre
ghuysmans/complete
Autocomplete based on a Menhir grammar
ghuysmans/dokuwiki-plugin-gitbacked
Plugin for DokuWiki to store/sync files and media with a git repo
ghuysmans/dune-multi-version
Use dune rules to handle multiple versions of a library
ghuysmans/easyGraph
Easy to use graph designer with support for undirected and directed graphs, as well as Finite State Machines
ghuysmans/eliom-test
Compare different versions of Eliom
ghuysmans/git
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
ghuysmans/IOKranf
Educational library in Javascript that is great for kids to learn programming. This library emulates a "console" with simple println and input command.
ghuysmans/java-types
ghuysmans/jsoo_katex
js_of_ocaml binding for KaTeX
ghuysmans/latex-action
:octocat: GitHub Action to compile LaTeX documents
ghuysmans/mailarc
Archive old emails
ghuysmans/maki
[beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks
ghuysmans/maquillage
Ne faites pas ça chez vous, les enfants...
ghuysmans/MPP-language-blender
MPP: a meta preprocessor that blends programming languages
ghuysmans/ocaml-edt
EDT CSV reader and iCalendar generator
ghuysmans/overwrite
Simple bogus web app, for teaching Web development
ghuysmans/trainer
Do some (physical) exercise with asynchronous functions
ghuysmans/tuto
ghuysmans/VBA-Version-Control
VBA Version control using Git
ghuysmans/vim-dokuwiki
vim-dokuwiki - a VIM syntax file for DokuWiki
ghuysmans/webidl
Web IDL parser of OCaml
ghuysmans/wordcat
A tool for concatenating several Word documents