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/random-generator
A small OCaml library to randomly generate values
gasche/gc-latency-experiment
Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-set-ghc-gc-pick-two/
gasche/batteries-included
Batteries Included project
gasche/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
gasche/stores
An OCaml library that offers several implementations of (in-memory) stores.
gasche/array_set_loop
Investigation of a slow loop issue with OCaml 5
gasche/article_zoo_jfla_comments
gasche/bitoduc.fr
A website about french words for computer concepts.
gasche/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
gasche/coq-ceps
Coq Enhancement Proposals
gasche/domainslib
Parallel Programming over Domains
gasche/dune
A composable build system for OCaml.
gasche/dune-deps
Show the internal dependencies in your OCaml/Reason/Dune project
gasche/inria-internship-francesco
gasche/jj
A Git-compatible DVCS that is both simple and powerful
gasche/mc2
[research] A modular SMT solver in OCaml, based on mcSAT
gasche/mSAT
A modular sat/smt solver with proof output.
gasche/no_color
Website data for no-color.org
gasche/ocaml
The core OCaml system: compilers, runtime system, base libraries
gasche/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
gasche/ocaml_sincos
test wrapping the sincos C function
gasche/ocamlbuild
OCamlbuild
gasche/parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
gasche/PG
gasche/ppx_deriving
Type-driven code generation for OCaml >=4.02
gasche/RFCs
Design discussions about the OCaml language
gasche/texpresso
TeXpresso: live rendering and error reporting for LaTeX
gasche/www
Sources files of the coq.inria.fr website (static part)
gasche/xml-light
fork of Xml-light
gasche/zoo