OpenWrt Project: a Linux operating system targeting embedded devices(openwrt.org)

108 points by thunderbong 3 years ago | 46 comments

Sigrok – a portable, cross-platform, FOSS signal analysis software suite(sigrok.org)

140 points by _Microft 2 years ago | 25 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.

What is GNU Radio?(wiki.gnuradio.org)

23 points by tripdout 1 year ago | 1 comments

Devuan – Debian Without Systemd(devuan.org)

66 points by smartmic 9 months ago | 80 comments

COBOL for GCC Development(cobolworx.com)

64 points by pantalaimon 2 years ago | 19 comments