everparse (devel/everparse) Updated: 2 years, 9 months 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: 20220602-e722715 License: Apache-2
GitHub
| Maintainers | landonf |
| Categories | devel |
| Homepage | https://github.com/project-everest/everparse |
| Platforms | darwin |
| Variants | - |
"everparse" depends on
lib (3)
build (6)
Ports that depend on "everparse"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: livecheck failed for everparse: extracted version 'd9283b5bd8f2fa78f1ed0cee11ecf5a71be589e4' is older than livecheck.version 'e7227152dfade6cb4f0adf7dc03816273c0ef4e0'
last updated: 1 day, 17 hours ago