The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
Repository Index
84,583 visible repositories in the index
1–24 of 28 · Most stars
An open-source OS project that aims to provide source and binary compatibility with macOS® and a similar user experience.
Read-only git conversion of OpenBSD's CVS src repository. This only includes the main branch; use CVS for -stable or release branches. Send any diffs to the tech@ mailing list.
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
- unikernel
- unikraft
- library
- application
The official git repository for Contiki, the open source OS for the Internet of Things
Envision a future where everyone can read all the code of an educational operating system.
Rust version of THU uCore OS. Linux compatible.
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
Cosmos is an operating system "construction kit". Build your own OS using managed languages such as C#, VB.NET, and more!
- hacktoberfest
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
A kernel designed to run one and only one application in a virtualized environment
- osdev
- security
- virtualization
- unikernel
Interface-Driven OS Kernel for AI-Assisted Learning | 面向 AI 的操作系统学习项目
- kernel
- learning-by-doing
Browsix is a Unix-like operating system for the browser.
- browserfs
- unix-like
- javascript-framework
A Tiny Linux-Compatible Kernel
- x86
- kernel
- bootloader
- posix-compatible
Desktop system for creators with a focus on simplicity, elegance, and usability. Based on FreeBSD. Less, but better!
- hellosystem
- usability
- desktop
- simplicity
Pragmatic microkernel-based OS with fully asynchronous I/O
- operating-system
- microkernel
- asynchronous-io
- posix-compatible
Modern graphing calculator operating system.
Trusted side of the TEE
An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles/illumos-gate
- illumos
- unix
- operating-system
- os
Simple operating system in C++, written from scratch
- c-plus-plus
- operating-systems
- cpp
- assembly
For more information, please see http://smartos.org/ For any questions that aren't answered there, please join the SmartOS discussion list: https://smartos.topicbox.com/groups/smartos-discuss
Modular and configurable OS for embedded applications
Copper is an operating system for robots - build, run, and replay your entire robot deterministically.
- robotics
- ros
- rust
- operating-system
This repository contains the source code of toro unikernel
- freepascal
- toro
- kernel
- lazarus