Arcan Explained – A browser for different webs(arcan-fe.com)

12 points by walterbell 8 months ago | 1 comments

Arcan 0.7 – The All Tomato(arcan-fe.com)

56 points by ingenieroariel 1 year ago | 5 comments

Pipeworld: Spreadsheet Dataflow Computing (2021)(arcan-fe.com)

59 points by pkkm 2 years ago | 12 comments

A Spreadsheet and a Debugger Walk into a Shell(arcan-fe.com)

204 points by JNRowe 2 years ago | 13 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.

Debian riscv64(blog.aurel32.net)

294 points by pabs3 3 years ago | 112 comments