Devuan – Debian Without Systemd(devuan.org)

66 points by smartmic 9 months ago | 80 comments

Minix 3 (2014)(minix3.org)

81 points by droideqa 2 years ago | 19 comments

Visopsys: OS maintained by a single developer since 1997(visopsys.org)

471 points by kome 11 months ago | 124 comments

Homepage of Visopsys, a small open-source alternative operating system for PCs developed by a single developer since 1997.

Tell HN: "Default" FileZilla download bundled with adware(filezilla-project.org)

106 points by jonathanlydall 2 years ago | 36 comments

Show HN: Donut Browser, a Browser Orchestrator(donutbrowser.com)

61 points by andrewzeno 1 year ago | 28 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.