Gordon Letwin OS/2 Usenet post (1995)(gunkies.org)

92 points by walterbell 1 year ago | 68 comments

Lazarus Release 4.0(forum.lazarus.freepascal.org)

254 points by proxysna 1 year ago | 140 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.

Nintendo Kawaii Progress (Keychain-Sized Nintendo Wii)(bitbuilt.net)

47 points by bpierre 2 years ago | 12 comments

MAME 0.276(mamedev.org)

75 points by chungy 1 year ago | 23 comments

Picotron Is a Fantasy Workstation(lexaloffle.com)

617 points by celadevra_ 2 years ago | 179 comments

Product page for Picotron, Lexaloffle's fantasy workstation with a toy OS and built-in tools for making pixel art games, music and demos in Lua.