PeppyOS: A simpler alternative to ROS 2 (now with containers support)(peppy.bot)

61 points by Ekami 7 months ago | 24 comments

86Box v4.0(86box.net)

87 points by gattilorenz 3 years ago | 17 comments

Dethrace: Reverse engineering the 1997 game "Carmageddon" (2023)(github.com)

83 points by skibz 2 years ago | 31 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.

Robotocore · a Digital Twin of AWS(github.com)

16 points by pkaeding 7 months ago | 1 comments

Annin Robotics AR4, open plan low cost 6DOF desktop industrial robot(anninrobotics.com)

5 points by danboarder 2 years ago | 3 comments