5 Search Results
bindlib
OCaml Bindlib library for bound variables
Rodolphe Lepigre <lepigre@mpi-sws.org> Christophe Raffalli <christophe@raffalli.eu
6.0.0
LGPL-3.0
Used by 2 other packages
earley
Parsing library based on Earley Algorithm
Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org>
3.0.0
CeCILL-B_V1
Used by 2 other packages
pacomb
Parsing library based on combinators and ppx extension to write languages
Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org>
1.1
MIT
Used by 0 other packages
patoline
Patoline typesetting system and libraries
Pierre-Étienne Meunier Christophe Raffalli <christophe@raffalli.eu> Rodolphe Lepigre <lepigre@mpi-sws.org> Tom Hirschowitz Florian Hatat <patoline@hatat.me>
0.2
GPL-2.0; GPL-3.0
Used by 0 other packages
timed
Timed references for imperative state
Christophe Raffalli <christophe@raffalli.eu Rodolphe Lepigre <lepigre@mpi-sws.org>
1.1
MIT
Used by 1 other packages