Pinned Repositories
icfp2013-papers
List of ICFP'13 accepted papers, with links to preprint or additional information when available
icfp2016-papers
Link to preprints for ICFP'16 and co-located events
icfp2017-papers
Link to preprints for ICFP'17 and colocated events
manual-ocamlbuild
A new reference manual for the ocamlbuild tool
ocaml-releases-change-explanation
A crowd-sourced document that details the changes in upcoming OCaml releases, in particular explains compatibility-breaking changes and possible transitions
popl2014-papers
popl2016-papers
Links to publicly available preprints for the POPL'16 conference
popl2017-papers
Link to preprints for POPL'17 and co-located events
popl2018-papers
Link to preprints for POPL'18 and colocated events
random-generator
A small OCaml library to randomly generate values
gasche's Repositories
gasche/icfp2017-papers
Link to preprints for ICFP'17 and colocated events
gasche/opam-compiler-conf
A small script to create short-lived OPAM compiler switches from experimental OCaml branches
gasche/efftester
Effect-Driven Compiler Tester for OCaml
gasche/crowbar
Property fuzzing for OCaml
gasche/angstrom
Parser combinators built for speed and memory efficiency
gasche/asak
Identifying similar OCaml codes
gasche/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
gasche/camlp4
Camlp4 tool
gasche/ccache
ccache – a fast compiler cache
gasche/cuite
gasche/cwe_checker
cwe_checker finds vulnerable patterns in binary executables
gasche/Internship-2018-ocaml-recursive-value
Some files related to this internship.
gasche/kritaSpritesheetManager
gasche/learn-ocaml
A Web Application for Learning OCaml
gasche/mirage-www
Website infrastructure and content for mirage.io
gasche/neu-prl-website
Source for website at
gasche/ocaml-argon2
Ocaml bindings to Argon2
gasche/ocamlformat
Auto-formatter for OCaml code
gasche/opamcheck
scripts to test OCaml compiler changes on the whole OPAM repository
gasche/paris8-corpus-2019
gasche/patch
line based patch, input is a unified diff
gasche/ppx_deriving_crowbar
a ppx_deriving plugin for crowbar generators
gasche/ppx_deriving_hardcaml
ppx_deriving plugin for HardCaml
gasche/ppx_deriving_morphism
Deriving morphisms for OCaml data structures
gasche/ppx_deriving_protobuf
A Protocol Buffers codec generator for OCaml >=4.02
gasche/ppx_deriving_yojson
A Yojson codec generator for OCaml >= 4.02.
gasche/ppx_tools
Tools for authors of ppx rewriters
gasche/template-coq
Reflection library for Coq
gasche/thermometer-continuations
Examples from our paper "Capturing the Future by Replaying the Past"
gasche/zds-site
Dépot ZDS