gazagnaire.org
OCaml wire format DSL with EverParse 3D output for verified parsers
1(lang dune 3.21)
2(using directory-targets 0.1)
3
4(name wire)
5
6(generate_opam_files true)
7
8(license ISC)
9(authors "Thomas Gazagnaire <thomas@gazagnaire.org>")
10(maintainers "Thomas Gazagnaire <thomas@gazagnaire.org>")
11
12(source (tangled gazagnaire.org/ocaml-wire))
13
14(package
15 (name wire)
16 (synopsis "Binary wire format DSL with EverParse 3D output")
17 (description
18 "OCaml DSL for describing binary wire formats with EverParse 3D output. \
19 Define your wire format once, then use it for OCaml parsing via bytesrw or \
20 emit .3d files for verified C parser generation via EverParse.")
21 (depends
22 (ocaml (>= 5.1))
23 (bytesrw (>= 0.1))
24 (eio (>= 1.0))
25 (fmt (>= 0.9))
26 (alcotest :with-test)
27 (odoc :with-doc)))