A blocky based CAD program(vkgames82.itch.io)

71 points by blobmty 3 years ago | 29 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.

Setris – Tetris with Sand Physics(mslivo.itch.io)

786 points by Akharin 3 years ago | 171 comments

Itch.io page for Setris, a downloadable pay-what-you-want Tetris-like game with sand physics for Windows and Linux, with a trailer video.

Makie, a modern and fast plotting library for Julia(makie.org)

240 points by simondanisch 3 years ago | 66 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.

Show HN: Thoreau BASIC – What if BASIC hadn't gone out of fashion?(thoreaubasic.com)

65 points by Gorsefound 23 days ago | 33 comments

Homepage for Thoreau BASIC 3.2, a free 64-bit GW-BASIC-inspired interpreter with x64 JIT for Windows and bare-metal UEFI, with downloads and documentation.