Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.
Updated 6 hours ago
Updated 6 hours ago
Updated 6 hours ago
HACL*, a formally verified cryptographic library written in F*
Updated 7 hours ago
Updated 7 hours ago
Updated 7 hours ago
Updated 7 hours ago
Updated 7 hours ago
Updated 7 hours ago
Updated 7 hours ago
Updated 7 hours ago
Updated 7 hours ago
Neocities.org - the web site. The entire thing. Yep, we're completely open source.
Updated 7 hours ago