package jhupllib

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

Install

Dune Dependency

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

README

jhupllib

This repository contains a standard library of sorts for JHU PL Lab projects (although it is by no means limited to those projects). The library contains the sort of general-purpose miscellany that we wish to use in multiple projects but which do not have sufficient mass to warrant maintenance as independent libraries.

Installing

jhupllib can be installed via OPAM.

Building

This project uses Dune as a build tool. After cloning this repository, it should be sufficient to perform the following steps:

  1. Install dependencies.

`opam install jbuilder batteries monadlib ocaml-monadic ppx_deriving yojson ppx_deriving_yojson`
  1. Build the project.

`make && make test`

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