dirsp-ps2ocamlversion

ProScript to OCaml translator

Dirsp is a short form for Diskuv Implementations of Research Security Protocols. The [dirsp-ps2ocaml] executable translates ProScript, which is a subset of JavaScript that can be verified with formal security proofs, into OCaml.

Tags org:diskuv
Author[Diskuv, Inc. <opensource+dirsp-ps2ocaml@support.diskuv.com>]
LicenseApache-2.0
Published
Homepagehttps://github.com/diskuv/dirsp-exchange
Issue Trackerhttps://github.com/diskuv/dirsp-exchange/issues
Maintaineropensource+dirsp-ps2ocaml@support.diskuv.com
Dependencies
Source [http] https://github.com/diskuv/dirsp-exchange/archive/0.1.0.tar.gz
md5=a3c6f4b221fb9732bc55ab4c44e39c14
sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199
StatisticsInstalled 8 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/dirsp-ps2ocaml/dirsp-ps2ocaml.0.1.0/opam
No package is dependent