everparse (devel/everparse) Updated: 2 weeks, 5 days 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: 2025.01.25 License: Apache-2
GitHub
| Maintainers | landonf |
| Categories | devel |
| Homepage | https://github.com/project-everest/everparse |
| Platforms | darwin |
| Variants | - |
"everparse" depends on
lib (2)
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
Installations (30 days)
1
Requested Installations (30 days)
1
Livecheck results
everparse seems to have been updated (port version: 69d6c064ea34d0f5458db94ba1204795db9496dc, new version: 58f6c96de0961a6c479e26ae202ca918650f1ce6)
livecheck ran: an hour ago