package jhupllib

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

Install

Dune Dependency

pl.cs.jhu.edu Readme Apache License Edit opam file Versions (5)

Authors

  1. J
    JHU PL Lab <pl.cs@jhu.edu>

Maintainers

  1. J
    JHU PL Lab <pl.cs@jhu.edu>

Sources

0.2.2.tar.gz
md5=8518b1ea79fce913120da2506a597e7b
sha512=57e531641341ee4ab8915fe46558ae84e23004e132d8a37e03969c5f476186578c1347ddf9f78563327cd1c2797ee198621158f4777e1e18cca3da424bf43e53

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: 04 Jul 2020

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`

Dev Dependencies (1)

  1. ounit with-test

Used by (1)

  1. pds-reachability < "0.2.3"

Conflicts

None