gasche/icfp2015-papers
Accepted papers for ICFP 2015
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.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Accepted papers for ICFP 2015
Some macro-benchmarks for operf and an OPAM repository for them
Public repository.
Sources files of the coq.inria.fr website (static part)