Show HN: I wrote a BASIC interpreter that boots on UEFI machines(tarjan.itch.io)

131 points by Gorsefound 2 months ago | 38 comments

COBOL for GCC Development(cobolworx.com)

64 points by pantalaimon 2 years ago | 19 comments

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

71 points by blobmty 3 years ago | 29 comments

BleachBit is a free and open-source disk space cleaner(bleachbit.org)

52 points by gjvc 1 year ago | 26 comments

PicoIDE – An open IDE/ATAPI drive emulator(picoide.com)

171 points by st_goliath 11 months ago | 41 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.