4 ms·
Similar, more mature projects based around other languages: Erlang: http://erlangonxen.org http://erlangonxen.org C#: http://en.wikipedia.org/wiki/Cosmos_(opera
by vomitcuddle 12y ago
Similar, more mature projects based around other languages:
Erlang: http://erlangonxen.org http://erlangonxen.org
C#: http://en.wikipedia.org/wiki/Cosmos_(operating_system) http://en.wikipedia.org/wiki/Cosmos_(operating_system)
C#: http://en.wikipedia.org/wiki/SharpOS_(operating_system) http://en.wikipedia.org/wiki/SharpOS_(operating_system)
- edwintorok 12y agoOCaml: http://www.openmirage.org/ http://www.openmirage.org/
- donpdonp 12y agoJava: http://www.jnode.org/ http://www.jnode.org/
- frik 12y agoIs there one in PHP? (HHVM based?)
- andolanra 12y agoHaskell: https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM
- agumonkey 12y agoHaskell's : - House http://en.wikipedia.org/wiki/House_(operating_system) http://en.wikipedia.org/wiki/House_(operating_system) - HOP (House parent) http://lambda-the-ultimate.org/node/299 http://lambda-the-ultimate.org/node/299 (topic recurse on jnode and others)
- cfallin 12y agoModula-3: SPIN operating system from University of Washington: http://en.wikipedia.org/wiki/SPIN_(operating_system) http://en.wikipedia.org/wiki/SPIN_(operating_system) . This one is another example of security-through-safe-languages-in-kernel-space.
- pjmlp 12y agoOberon and derivatives: http://www.inf.ethz.ch/personal/wirth/ProjectOberon/ http://www.inf.ethz.ch/personal/wirth/ProjectOberon/ Mesa/Cedar at Xerox Parc: http://en.wikipedia.org/wiki/Mesa_%28programming_language%29 http://en.wikipedia.org/wiki/Mesa_%28programming_language%29 https://archive.org/details/bitsavers_xeroxparcteCedarProgrammingEnvironmentAMidtermRepo_13518000 https://archive.org/details/bitsavers_xeroxparcteCedarProgra... Smalltalk http://www.computerhistory.org/revolution/input-output/14/347 http://www.computerhistory.org/revolution/input-output/14/34...