Browsh: The modern text-based web browser(brow.sh)

163 points by mdwalters 2 years ago | 26 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.

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.

Show HN: Bedrock – An 8-bit computing system for running programs anywhere(benbridle.com)

197 points by benbridle 1 year ago | 47 comments

OBNC – Oberon-07 Compiler(miasap.se)

61 points by AlexeyBrin 1 year ago | 16 comments

GTFOBins(gtfobins.org)

325 points by StefanBatory 6 months ago | 82 comments

GTFOBins is a curated list of Unix-like executables whose legitimate functions can be abused to bypass local security restrictions in misconfigured systems.