EverParse generates verified C parsers for Microsoft. I wrote an OCaml front-end to use it for satellite protocols.
Network activity
Log in or sign up to submit feeds.