86Box v4.0(86box.net)

87 points by gattilorenz 3 years ago | 17 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.

Voxatron(lexaloffle.com)

95 points by lsferreira42 3 months 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.

Ryujinx – Nintendo Switch Emulator archive site(ryujinx-emulator.com)

10 points by ChrisArchitect 2 years ago | 1 comments

Minetest: An open source voxel game engine(minetest.net)

394 points by doener 3 years ago | 176 comments

Homepage of Minetest, an open source voxel game engine for playing, modding, and creating games, available on desktop platforms and Android.