seL4

A formally verified microkernel.

ProductOperating systemsmicrokernelformal-verification

Recommended in 2 threads

What’s getting pwned right now
pwn.watch · 4 days ago
Cited as proof that provably correct software is possible, if costly.
Several Linux kernel vulnerabilities accidentally posted to public mailing list
phoronix.com · 4 days ago
Named as the best hope for a secure microkernel architecture.

ublk ↗Operating systems
A Linux kernel framework for implementing block devices in userspace over io_uring.
1 thread
Remark42 ↗Frameworks & libraries
A self-hosted, privacy-focused comment engine for websites.
1 thread
Elixir Languages & runtimes
A functional language on the Erlang VM.
1 thread
systemd credentials ↗Operating systems
systemd's mechanism for passing secrets to services without environment variables.
1 thread
Malloy Data & analytics
A semantic modelling and query language from Looker's original founder.
1 thread
Fish Dev tools
A user-friendly interactive Unix shell.
1 thread
Alloy ↗Dev tools
A lightweight formal modeling language and analyzer for software designs.
1 thread
FUTO ASR4All ↗AI & ML
FUTO's small CPU-optimised streaming English ASR models.
1 thread

GrapheneOS ↗
A privacy- and security-focused Android distribution for Pixel phones.
6 threads
Debian
A community Linux distribution with its own packaged PHP and security updates.
3 threads
GNU Guix ↗
A functional package manager and Linux distribution with transactional upgrades.
2 threads
deb.sury.org ↗
A third-party repository providing PHP packages for Debian and Ubuntu.
2 threads
AlmaLinux
A free, community-run Linux distribution binary-compatible with RHEL.
1 thread
Btrfs
A copy-on-write Linux filesystem with snapshot support.
1 thread
DroidDeck ↗
An Android tool for running PC games on ARM handhelds.
1 thread
FreeBSD
An open-source Unix-like operating system with integrated ZFS support.
1 thread
KDE Plasma
A desktop environment for Linux and other Unix-like systems.
1 thread
LineageOS
A free, community Android distribution for many devices.
1 thread
NEXTSPACE ↗
A desktop environment for Linux aiming to recreate the NeXTSTEP experience on modern hardware.
1 thread
OpenZFS on OS X
A port of OpenZFS for macOS, installable via Homebrew.
1 thread