Gabriel Scherer's repositories
icfp2013-papers
List of ICFP'13 accepted papers, with links to preprint or additional information when available
manual-ocamlbuild
A new reference manual for the ocamlbuild tool
popl2015-papers
Accepted papers for POPL 2015
ocaml-better-errors
Make OCaml Errors Great Again
commonjs_of_ocaml
Import and export CommonJS modules in js_of_ocaml
etl-language-comparison
Count the number of times certain words were said in a particular neighborhood. Performed as a basic MapReduce job against 25M tweets. Implemented with different programming languages as a educational exercise.
EU-software-audit-poll-info
a shared wiki to gather information for an informed vote on European Union software audit poll consultation
gasche.github.io
personal webpage
icfp2015-papers
Accepted papers for ICFP 2015
lambda-term
Terminal manipulation library for OCaml
nuprl.github.io
Web site
ocaml-effects
OCaml with support for (unchecked) algebraic effects and handlers
omake
The new home of OMake - docs, downloads, mailing list etc. see:
operf-macro
Some macro-benchmarks for operf and an OPAM repository for them
platform-blog
Repository for the Platform blog
presentations
lean-related presentations
racket
The Racket repository
zombie-trellys-mode
An Emacs minor mode for interacting with the Zombie Trellys system