everparse

v 20220602-e722715 Updated: 2 years, 5 months ago

A verified secure parser framework for F*.

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.

https://github.com/project-everest/everparse

To install everparse, paste this in macOS terminal after installing MacPorts

sudo port install everparse

Add to my watchlist

Installations 0
Requested Installations 0