A memory-safe FreeBSD rebuilt file by file in modern C++23, verified against the original with differential testing and formal proofs.
by Odin Loch
$125
1%
Raised on Kickstarter
· Goal: $10,000
- ↗ Trending toward
- $128at this pace
- Backers
- 1
- Avg pledge
- $125.00
- Daily backers
- 0
- Daily funding
- $2.78