Luakit: A fast, extensible, and customizable web browser(luakit.github.io)

164 points by thunderbong 2 years ago | 16 comments

Show HN: FixBrowser – a lightweight web browser created from scratch(fixbrowser.org)

292 points by jezek2 1 year ago | 135 comments

Ironclad – formally verified, real-time capable, Unix-like OS kernel(ironclad-os.org)

358 points by vitalnodo 11 months ago | 121 comments

Homepage of Ironclad, a formally verified, real-time capable, Unix-like OS kernel written in SPARK and Ada with POSIX compatibility and MAC.

Stuxnet(en.wikipedia.org)

9 points by thunderbong 2 years ago | 0 comments

Mosh Mobile Shell(mosh.org)

132 points by rbinv 1 year ago | 67 comments

BBCode(en.wikipedia.org)

28 points by pjerem 2 years ago | 4 comments