Gabriel Scherer's repositories
icfp2016-papers
Link to preprints for ICFP'16 and co-located events
popl2016-papers
Links to publicly available preprints for the POPL'16 conference
popl2017-papers
Link to preprints for POPL'17 and co-located events
bisect_ppx
Code coverage for OCaml.
dead_code_analyzer
Dead-code analyzer for OCaml
hopl-s2017
History of Programming Languages, Spring 2017
icfp2016-blog
Canopy blog data that powers ICFP liveblog
linuxfr.org
The new version of LinuxFr.org will be in Ruby on Rails. It was NoNo's resolution for 2009 (well, achieved !). You may add other enhancements at http://linuxfr.org/suivi/ as you have a look at the website
MPP-language-blender
MPP: a meta preprocessor that blends programming languages
mt-aws-glacier
Perl Multithreaded Multipart sync to Amazon Glacier
ocaml-cstruct
Map OCaml arrays onto C-like structs
ocaml-extlib
Extended Standard Library for OCaml
ocaml-inotify
OCaml bindings for inotify.
ocaml-socket-daemon
Small library to ease the creation of daemons listening to a socket for stop, restart, ... orders
ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
opam-tagger
Add and remove tags from `opam` format files
posix-getopt
OCaml bindings for POSIX getopt/getopt_long
ppx_deriving_cmdliner
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)