Perkeep – Personal storage system for life(perkeep.org)

295 points by nikolay 11 months ago | 59 comments

OpenAPK – open-source Apps for Android, updated weekly(openapk.net)

116 points by CHEF-KOCH 1 year ago | 49 comments

Devuan – Debian Without Systemd(devuan.org)

66 points by smartmic 9 months ago | 80 comments

AnduinOS(anduinos.com)

135 points by TheFreim 1 year ago | 185 comments

FFmpeg by Example(ffmpegbyexample.com)

812 points by piyushsthr 1 year ago | 221 comments

FFmpeg By Example is a community documentation site showcasing example ffmpeg commands with copy and try-online options.

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.