Results for Research
Operating Systems
Operating System
Verve (operating system)
Microsoft Research · 2010
- Family
- Language-based operating systems
- Type
- Desktop
- Kernel
- Microkernel, language-based
- Version
- r73999 / November 10, 2013; 12 years ago (2013-11-10)
- License
- Microsoft Research License
- Released
- 2010
Operating System
Singularity (operating system)
Microsoft Research (Microsoft Corporation) · 2008
- Family
- Language-based systems
- Type
- Desktop
- Kernel
- Microkernel language-based
- License
- Microsoft Research License
- Released
- 2008
Operating System
HomeOS
Microsoft Research · Unknown year
- Family
- Other
- Type
- Desktop
Operating System
Barrelfish (operating system)
ETH Zurich with assistance of Microsoft Research · 2009
- Family
- Other
- Type
- Desktop
- Kernel
- Multikernel, Microkernel
- Version
- 2020.03.23 / March 23, 2020; 6 years ago (2020-03-23)
- License
- MIT License
- Released
- 2009
Operating System
GNU/Hurd
GNU Project · 1990
- Family
- GNU
- Type
- Desktop
- Kernel
- GNU Hurd
- Version
- 0.9
- License
- Free software
- Released
- 1990
Operating System
TempleOS
Terry Davis · 2013
- Family
- Research
- Type
- Desktop
- Kernel
- Custom
- Version
- 5.03
- License
- Public domain
- Released
- 2013
Operating System
Plan 9
Bell Labs · 1992
- Family
- Research
- Type
- Desktop
- Kernel
- Plan 9
- Version
- Fourth Edition
- License
- Open source
- Released
- 1992
Operating System
CP/M-86
Digital Research · 1978
- Family
- CP/M
- Type
- Desktop
- Kernel
- CP/M
- Version
- 1.1
- License
- Proprietary
- Released
- 1978