{"name":"everparse","portdir":"devel/everparse","version":"20220602-e722715","license":"Apache-2","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"https://github.com/project-everest/everparse","description":"A verified secure parser framework for F*.","long_description":"EverParse provides LowParse, verified-secure F*/Low* parser combinator library, and QuackyDucky, an untrusted compiler for generating verified secure parsers from a message format specification.","active":true,"categories":["devel"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":83}],"variants":[],"dependencies":[{"type":"build","ports":["clang-17","ocaml-hex","ocaml-ocamlbuild","ocaml-re","ocaml","ocaml-batteries"]},{"type":"lib","ports":["kremlin","ocaml-hacl-star","fstar"]}],"depends_on":[]}