Project Oberon,
https://www.projectoberon.net
The evolution of Oberon based OSes,
Ethos, https://www.research-collection.ethz.ch/handle/20.500.11850/...
Active Oberon which is the Oberon variant I prefer,
https://en.wikipedia.org/wiki/A2_(operating_system)
https://en.wikipedia.org/wiki/Active_Oberon
https://gitlab.inf.ethz.ch/felixf/oberon
Some screenshots at my article, take it while the site still exists,
https://www.progtools.org/article.php?name=oberon§ion=co...
SPIN, done in Modula-3
https://www-spin.cs.washington.edu/external/overview.html
Singularity,
https://www.microsoft.com/en-us/research/project/singularity...
https://github.com/lastweek/source-singularity
Midori,
although no source code, the blog posts, existing talks and internal session at Microsof do provide some nice overview,
https://joeduffyblog.com/2015/11/03/blogging-about-midori/
"The Midori Operating System Overview"
https://www.youtube.com/watch?v=37WgsoZpf3k
"Safe Systems Programming in C# and .NET"
https://www.infoq.com/presentations/csharp-systems-programmi...
"Safe Systems Software and the Future of Computing"
https://www.youtube.com/watch?v=CuD7SCqHB7k
Xerox PARC Mesa, used on the Xerox Star OS
https://en.wikipedia.org/wiki/Mesa_(programming_language)
https://en.wikipedia.org/wiki/Xerox_Star
https://computerhistory.org/blog/xerox-alto-source-code/
Xerox PARC Cedar, used on Dorado platforms
http://toastytech.com/guis/cedar.html
https://www.youtube.com/watch?v=z_dt7NG38V4
https://bitsavers.trailing-edge.com/pdf/xerox/parc/cedar/The...
https://worrydream.com/refs/Swineheart_1986_-_A_Structural_V...
http://www.bitsavers.org/pdf/xerox/parc/techReports/CSL-83-1...
Xerox PARC Smalltalk,
original documentation can be taken from http://stephane.ducasse.free.fr/FreeBooks.html
- Smalltalk-80, Bits of History, Words of Advice
- Smalltalk-80: The Language and its Implementation
- Smalltalk-80, The Interactive Programming Environment
Squeak and Pharos linage,
https://squeak.org/
https://pharo.org/
Xerox PARC Interlisp-D, with Medley
https://dl.acm.org/doi/pdf/10.1145/1056743.1056745
https://interlisp.org/
House, written in Haskell
https://programatica.cs.pdx.edu/House/
MirageOS, written in OCaml, partially used by Docker (TCP/IP stack), and Xen Hypervisor
https://mirage.io/
https://mirage.io/blog/2022-04-06.vpnkit
https://xenproject.org/projects/mirage-os/
AmigaOS,
http://toastytech.com/guis/indexamiga.html
https://en.wikipedia.org/wiki/Amiga
https://www.amigaos.net/content/1/features
https://aros.sourceforge.io/
Solo in Concurrent Pascal,
The solo operating system: A concurrent pascal program
https://stacks.stanford.edu/file/druid:vb843ff4581/vb843ff45...
Lillith in Modula-2
https://bitsavers.org/pdf/eth/lilith/ETH7646_Lilith_A_Workst...
https://www.modula2.org/modula2-history.php
Now go out and explore, UNIX is not the be all, end all of how an OS is supposed to be, neither is C the ultimate systems programming language.