3 Search Results
DAGaml
DAGaml : Abstract DAG manipulation in OCaml
0.02
LGPL-3.0-only with OCaml-LGPL-linking-exception
Used by 0 other packages
GuaCaml
GuaCaml : Generic Unspecific Algorithmic in OCaml
0.05
LGPL-3.0-only with OCaml-LGPL-linking-exception
Used by 1 other packages
Snowflake
Snowflake : A Generic Symbolic Dynamic Programming framework
0.02.03
LGPL-3.0-only with OCaml-LGPL-linking-exception
Used by 1 other packages