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/popl2014-papers
gasche/ocaml-syntax-extension-discussion
gasche/articheck
gasche/assemblage
A collection of tools to manage the configuration of OCaml projects
gasche/aurochs
Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml, Java and Exascript.
gasche/bytes-compat
backward-compatibility package for the standard Bytes module of 4.02
gasche/bytes-compat-dummy
dummy forward-compatibility package for the standard Bytes module
gasche/cccv
Finds copy/pastes in a (git) diff
gasche/dblib
gasche/fcc
Coq formalization of System Fcc (coercion framework)
gasche/iocaml
ocaml kernel for ipython
gasche/lablqt
My thoughts about which Qt bindings for OCaml should be
gasche/lj_completeness
These are my lecture notes on proving completeness for LJ
gasche/LPATHBench
Benchmarks of the longest path problem in various languages
gasche/lwt
A cooperative threads library for OCaml.
gasche/menhir-paper
gasche/merlin
Context sensitive completion for Ocaml in Vim and Emacs
gasche/ocaml-github
Github APIv3 OCaml bindings
gasche/ocamllex
Experiments around ocamllex
gasche/opam-doc
Produce documentation for libraries intalled with OPAM
gasche/openage
Free (as in freedom) open source clone of the Age of Empires II engine.
gasche/operf-macro
Some macro-benchmarks for operf and an OPAM repository for them
gasche/ostap
gasche/QOcamlBrowser_quick
A clone of ocamlbrowser application written in OCaml+QtQuick 2.0 using lablqt library and mocml generator.
gasche/sundialsml
An OCaml interface to the Sundials suite of numeric solvers.
gasche/terms
The terms programming environment
gasche/tryocaml
An interactive tutorial to begin learning with OCaml
gasche/tt
A minimalist implementation of type theory, suitable for experimentation
gasche/unofficial-menhir
Menhir parsing generator (unofficial personal repository)
gasche/varix
scrabble wordlist generator