Olivier Nicole's starred repositories
resume.github.com
Resumes generated using the GitHub informations
sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
js_of_ocaml
Compiler from OCaml to Javascript.
ppx_deriving
Type-driven code generation for OCaml
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
impulse-blocker
Block distracting websites when you are browsing the web. Use for procrastination.
david-cope-cmmc
LISP source code for David Cope's book "Computer Models of Musical Creativity".
BeamerPresenter
Modular multi-screen pdf presentation viewer
ocaml-macros
OCaml with macros
ocaml-multicont
multi-shot continuations in OCaml
multicoretests
PBT testsuite and libraries for testing multicore OCaml
markdown.sile
Native Markdown and Djot support for the SILE typesetting system
pop-shell-custom-keybindings
I didn't like the default Pop!_shell keybindings so I created a script change them
omikhleia-sile-packages
Packages and classes for the SILE typesetter
SPEAC-analysis
David Cope's SPEAC-analysis