PledgeBox
Funding Progress on Kickstarter
Technology AU
Secure Operating System Based on HBSD
View on Kickstarter
A memory-safe FreeBSD rebuilt file by file in modern C++23, verified against the original with differential testing and formal proofs.
Dates: September 13th → November 12th (60 days)
00 Days
00 Hours
00 Minutes
00 Seconds
AU$125
Pledged of AU$10,000 goal
1
Backers
AU$125
Average pledge per backer
1%
Goal
18
Days to go
Daily Funding on Kickstarter
Average Pledge Size: AU$3
Daily Backers on Kickstarter
Average Daily Backers: 0