sgielen / cosix
A fully capability-based operating system
☆26Updated 5 years ago
Alternatives and similar repositories for cosix:
Users that are interested in cosix are comparing it to the libraries listed below
- quick c☆35Updated 3 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- The 9p protocol as a serde format and message types.☆30Updated 3 years ago
- ANSI POSIX Environment neXt for Harvey OS☆32Updated 5 years ago
- [WIP] A complex of daemons for FreeBSD implementing systemd/freedesktop D-Bus APIs required by desktop environments | now on https://code…☆12Updated 2 years ago
- A no frills delta debugger written in myrddin.☆29Updated 7 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- The Sfio library from AT&T Labs (mirror with limited history)☆23Updated 3 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆45Updated 11 months ago
- ☆23Updated 9 years ago
- Making Mes.c M2-Planet friendly☆30Updated 2 years ago
- A kernel written in Rust☆42Updated 2 months ago
- colorForth computing environment for amd64 and PowerPC Macs.☆22Updated 5 years ago
- [WIP] Firefly is a research OS inspired by Linux and Plan 9.☆13Updated 2 months ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated last year
- Pseudo-OS for the Raspberry Pi. Written in Rust.☆44Updated 9 years ago
- Abstract Language Tree☆37Updated 6 years ago
- tiny aarch64 baremetal OS thingy☆50Updated 6 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆32Updated 4 years ago
- Bootstrapping script for Rust Cargo when cross-compilation is difficult or impossible.☆35Updated 6 years ago
- squint - Rob Pike's Newsqueak interpreter for Unix☆38Updated 12 years ago
- Bootstrapping VM for bare metal to trusted C compilation☆46Updated 5 months ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- Personal branch of git://c9x.me/qbe.git☆37Updated 3 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆23Updated 5 years ago
- Rust implementation of Xinu educational operating system☆33Updated 4 years ago
- New spell(1) implementation for NetBSD☆9Updated 7 years ago
- Painless Linux sandboxing API☆15Updated 10 months ago
- SirCmpwn's assembler (and linker)☆21Updated last year