package jhupllib

  1. Overview
  2. Docs
A collection of OCaml utilities used by the JHU PL lab

Install

Authors

Maintainers

Sources

3edc6645cee5dd6d8f2a2e846c783b2d9ca362a8.zip
md5=e756ba2838cf3aee7382a3c1cfe01edb
sha512=06d420670ae2a2c4cf6de88c29f0f57ec12b53722afbfe14d574a16d16e3dd140d2a44bb504636a2678a55183eba1ae78e4047649248ff9b2e19dc9e5aa604db

Description

A collection of OCaml utilities used by the JHU PL lab. These are miscellaneous utilities which did not appear readily in standard libraries when they were written.

Published: 13 Oct 2023

Dependencies (8)

  1. yojson >= "1.7.0"
  2. ppx_deriving_yojson
  3. ppx_deriving >= "2.0"
  4. ocaml-monadic >= "0.4.1"
  5. dune >= "1.0"
  6. batteries >= "3.0.0"
  7. base-threads
  8. ocaml >= "4.08.0"

Dev Dependencies (1)

  1. ounit with-test

Used by (1)

  1. pds-reachability

Conflicts

None