1. Ironclad, a formally verified Unix-like kernel written in Ada  ironclad-os.org
    2025-11-09 04:16:37   #osdev #new
  2. Radiant Computer  radiant.computer
    2025-11-06 07:57:00   #programming #osdev #new
  3. Visopsys single developer "Visual Operating System"  visopsys.org
    2025-11-02 04:43:54   #osdev #new
  4. scx: sched_ext schedulers and tools  github.com
    2025-10-19 08:53:08   #linux #performance #osdev #code #new
  5. Hypervisor in 1,000 Lines  1000hv.seiya.me
    2025-09-18 23:13:34   #osdev #new
  6. ClonOS: FreeBSD based distro for virtual hosting platform and appliances  clonos.convectix.com
    2025-09-02 16:32:11   #freebsd #osdev #new
  7. Summary of everything we know about kOS  gist.github.com
    2025-08-26 03:16:02   #apl #osdev #gist
  8. TouchFS - Context-Aware File Generation  touchfs.io
    2025-07-08 04:58:17   #osdev #vibecoding #new
  9. Munal OS: A graphical experimental OS with WASM sandboxing  github.com
    2025-06-09 19:31:06   #osdev #wasm #code #new
  10. An i386 Hobby sperating system with graphics, multitasking, networking and an i386 C compiler  github.com
    2025-05-01 14:17:09   #compilers #osdev #retrocomputing #code #new
  11. Wanix :: Virtual environment kit for the local-first web, inspired by Plan 9  wanix.sh
    2025-04-26 02:13:00   #osdev #wasm #new
  12. TacOS: UNIX-like OS from scratch that runs DOOM  github.com
    2025-04-24 08:40:06   #c #osdev #code #new
  13. AerynOS  aerynos.com
    2025-04-15 14:33:28   #linux #osdev #new
  14. barrelfish  github.com
    2025-04-09 14:34:46   #osdev #code #new
  15. Google open-sourced pebble OS  github.com
    2025-01-27 20:33:34   #osdev #code #new
  16. Supreme Sexp System - SSS - a Lisp machine adventure  codeberg.org
    2025-01-25 23:02:37   #lisp #osdev #code #new
  17. Bencher - Continuous Benchmarking  bencher.dev
    2025-01-23 07:08:46   #performance #osdev #new
  18. Operating System in 1,000 Lines  operating-system-in-1000-lines.vercel.app
    2025-01-08 09:33:41   #osdev #new
  19. Atmosphère is a work-in-progress customized firmware for the Nintendo Switch  github.com
    2024-12-16 09:56:33   #osdev #code #new
  20. linux-ia64: Linux fork with IA-64 support re-added. See http://t2sde.org/ for an Itanium-enabled Linux distribution  github.com
    2024-11-04 13:49:13   #linux #osdev #code #new
  21. Ironclad: Hard real-time capable POSIX-compatible kernel written in SPARK/Ada  ironclad.nongnu.org
    2024-10-04 13:06:59   #formalmethods #osdev #new
  22. Serena: An experimental operating system for 32bit Amiga computers  github.com
    2024-08-20 10:01:25   #osdev #code #new
  23. maciNTosh: PowerPC Windows NT ported to Power Macintosh systems  github.com
    2024-07-12 14:25:15   #windows #osdev #code #new
  24. k23: Experimental WASM Microkernel Operating System  github.com
    2024-06-27 18:44:51   #osdev #wasm #code #new
  25. vroom: a userspace NVMe driver written in Rust  github.com
    2024-05-29 10:58:29   #rust #osdev #code #new

< 1 / 3 >