Petscii Side-Scrolling Platformer by Jimbo(jimbo.itch.io)

99 points by reaperducer 3 years ago | 11 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.

Liubo: Ancient Chinese board game originally played from about 500 BCE to 500 CE(liubolab.itch.io)

53 points by sohkamyung 3 years ago | 2 comments

Liero – Sling'n'shoot Worms Game(liero.be)

245 points by damir 2 years ago | 103 comments

LLVM-MOS – Clang LLVM fork targeting the 6502(llvm-mos.org)

132 points by jdmoreira 11 months ago | 59 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.