package grenier

  1. Overview
  2. Docs

grenier 0.15

Libraries

This package provides the following libraries (via ocamlobjinfo):

grenier.balmap

Documentation:

grenier.baltree

Documentation:

grenier.binder_introducer

Documentation:

grenier.binpacking

Documentation:

grenier.congre

Documentation:

  • Congre Creations of equality graph

grenier.dbseq

Documentation:

grenier.doubledouble

Documentation:

grenier.fastdom

Documentation:

  • Fastdom A library to compute graph dominators using "A Simple, Fast Dominance Algorithm" by Keith D. Cooper, Timothy J. Harvey, Ken Kennedy.

grenier.hll

Documentation:

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

grenier.jmphash

Documentation:

  • Jmphash An implementation of "A Fast, Minimal Memory, Consistent Hash Algorithm"

grenier.orderme

Documentation:

grenier.state_elimination

Documentation:

grenier.strong

Documentation:

grenier.trope

Documentation:

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
OCaml

Innovation. Community. Security.