3 search results for "author:"JHU PL Lab <pl.cs@jhu.edu>""

Showing 1 - 3
  1. A collection of OCaml utilities used by the JHU PL lab
    0.3
    Apache-2.0
    Used by 1 other packages
    13 Oct 2023
  2. A PPX extension to provide an OCaml-friendly monadic syntax
    0.5
    BSD-3-clause
    Used by 4 other packages
    15 Jun 2021
  3. A PDS reachability query library
    0.2.3
    Apache-2.0
    Used by 0 other packages
    18 Oct 2023