{"name":"everparse","portdir":"devel/everparse","version":"2025.01.25","license":"Apache-2","platforms":"darwin","epoch":1,"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":84}],"variants":[],"dependencies":[{"type":"build","ports":["ocaml-sha","ocaml-sexplib","clang-18","ocaml","ocaml-batteries","ocaml-dune","ocaml-hex","ocaml-menhir","ocaml-ppx_deriving_yojson","ocaml-process","ocaml-yojson","ocaml-re"]},{"type":"lib","ports":["karamel","fstar"]}],"depends_on":[]}