gasche/bytes-compat-dummy
dummy forward-compatibility package for the standard Bytes module
Developer Profile
gasche
Discovered public repositories for gasche in the GitHub catalog.
gasche/bytes-compat
backward-compatibility package for the standard Bytes module of 4.02
gasche/ocaml
The core OCaml system: compilers, runtime system, base libraries
gasche/fcc
Coq formalization of System Fcc (coercion framework)
gasche/iocaml
ocaml kernel for ipython
gasche/articheck
Public repository.
gasche/camlp4
Camlp4 tool
gasche/ocamllex
Experiments around ocamllex
gasche/ocaml-github
Github APIv3 OCaml bindings
gasche/QOcamlBrowser_quick
A clone of ocamlbrowser application written in OCaml+QtQuick 2.0 using lablqt library and mocml generator.
gasche/lablqt
My thoughts about which Qt bindings for OCaml should be
gasche/ostap
Public repository.
gasche/random-generator
A small OCaml library to randomly generate values
gasche/popl2014-papers
Public repository.
gasche/manual-ocamlbuild
A new reference manual for the ocamlbuild tool
gasche/varix
scrabble wordlist generator
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/0install
the core 0install package
gasche/opam-doc
Produce documentation for libraries intalled with OPAM
gasche/icfp2013-papers
List of ICFP'13 accepted papers, with links to preprint or additional information when available
gasche/ocamlpp
OCaml binary files pretty-printer
gasche/iTeML
Inline (Unit) Tests for OCaml (formerly "qtest")
gasche/lj_completeness
These are my lecture notes on proving completeness for LJ
gasche/opam-compiler-conf
A small script to create short-lived OPAM compiler switches from experimental OCaml branches
gasche/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
gasche/merlin
Context sensitive completion for Ocaml in Vim and Emacs
gasche/tryocaml
An interactive tutorial to begin learning with OCaml
gasche/ocaml-syntax-extension-discussion
Public repository.
gasche/stog
Static blog (!)
gasche/tt
A minimalist implementation of type theory, suitable for experimentation
gasche/ocaml.org
Website for the OCaml community.
gasche/batteries-included
Batteries Included project