Thomas Gazagnaire :: Describing Binary Formats in OCaml
EverParse generates verified C parsers for Microsoft. I wrote an OCaml front-end to use it for satellite protocols.
Property fuzzing for OCaml. Contribute to stedolan/crowbar development by creating an account on GitHub.
EverParse generates verified C parsers for Microsoft. I wrote an OCaml front-end to use it for satellite protocols.