grenier

A collection of various algorithms in OCaml

Libraries

This package provides the following libraries (via dune):

grenier.balmap

Documentation:

Dependencies: grenier.baltree

grenier.baltree

Documentation:

grenier.binder_introducer

Documentation: Binder_introducer

Dependencies: grenier.fastdom

grenier.binpacking

Documentation: Maxrects

grenier.dbseq

Documentation: Dbseq

grenier.doubledouble

Documentation: Doubledouble

grenier.fastdom

Documentation: Fastdom

grenier.hll

Documentation:

  • Hll An implementation of HyperLogLog probabilistic cardinality estimator.
  • Hll_consts

grenier.jmphash

Documentation: Jmphash

grenier.orderme

Documentation:

grenier.physh

Documentation: Physh

grenier.state_elimination

Documentation: State_elimination

Dependencies: grenier.strong

grenier.strong

Documentation: Strong

grenier.trope

Documentation: Trope

Dependencies: grenier.orderme, grenier.baltree

grenier.valmari

Documentation:

  • Partition
  • Valmari Valmari is an automata minimization algorithm, described in "Fast brief practical DFA minimization" https://dl.acm.org/doi/10.1016/j.ipl.2011.12.004

Dependencies: grenier.strong