capsversion Documentation on ocaml.org
Capability types and rules for OCaml
Capability types (Cap.ml) enforcing restricted I/O access across a codebase.
| Author | Yoann Padioleau <yoann.padioleau@gmail.com> |
|---|---|
| License | LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
| Published | |
| Homepage | https://github.com/aryx/ocaml-caps |
| Issue Tracker | https://github.com/aryx/ocaml-caps/issues |
| Maintainer | Yoann Padioleau <yoann.padioleau@gmail.com> |
| Dependencies | |
| Source [http] | https://github.com/aryx/ocaml-caps/archive/refs/tags/0.1.0.tar.gz md5=84dac271a62bd7f13776958561fa9056 sha512=85701a1dd5a584ea795e6b2101aa8a07b3d1ab616a302b013b1d18bf2d69e287e3392a6d30d06e228c8fbd30f41a137b6bbced02e75d9c72c99293b40e27dc9b |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/caps/caps.0.1.0/opam |
No package is dependent
