everparse (devel/everparse) Updated: 3 days, 23 hours ago Add to my watchlist
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.
Version: 2026.03.21 License: Apache-2
GitHub
| Maintainers | landonf |
| Categories | devel |
| Homepage | https://github.com/project-everest/everparse |
| Platforms | darwin |
| Variants | - |
"everparse" depends on
lib (3)
build (12)
Ports that depend on "everparse"
No ports
Port notes
EverParse 3D is invoked through the quackyducky-3d wrapper and requires
F* and KaRaMeL to be in PATH at runtime:
PATH=${prefix}/libexec/fstar/bin:${prefix}/libexec/karamel/home/bin:$PATH quackyducky-3d ...
Port Health:
Loading Port Health