package dirsp-proscript
OCaml-ified interfaces for the ProScript Cryptography Library
Install
Authors
Maintainers
Sources
0.1.0.tar.gz
md5=a3c6f4b221fb9732bc55ab4c44e39c14
sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199
Description
Dirsp is a short form for Diskuv Implementations of Research Security Protocols. The [dirsp-proscript] library vends an OCaml-ified interface for the ProScript language. ProScript is a subset of JavaScript that can be verified with formal security proofs.
Dependencies (4)
-
ppx_deriving_protobuf
>= "3.0.0"
-
cstruct
>= "6.0.0"
-
dune
>= "2.6.0"
-
ocaml
>= "4.08.0"
Dev Dependencies
Used by (2)
Conflicts
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page