sgielen / cosixLinks
A fully capability-based operating system
☆27Updated 6 years ago
Alternatives and similar repositories for cosix
Users that are interested in cosix are comparing it to the libraries listed below
Sorting:
- quick c☆35Updated 3 years ago
- Richard's compiler bootstrap experiment☆46Updated 2 years ago
- The 9p protocol as a serde format and message types.☆30Updated 4 years ago
- A library that allows processes to waive their rights☆27Updated 9 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- A Tree Parser Generator☆101Updated 11 months ago
- Bootstrapping VM for bare metal to trusted C compilation☆47Updated 11 months ago
- Personal branch of git://c9x.me/qbe.git☆36Updated 3 years ago
- A basic UNIX shell implementation in C☆33Updated 5 years ago
- ANSI POSIX Environment neXt for Harvey OS☆33Updated 5 years ago
- Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)☆47Updated 4 years ago
- ☆23Updated 9 years ago
- The Sfio library from AT&T Labs (mirror with limited history)☆23Updated 3 years ago
- tiny token-threaded bytecode interpreter in x86 assembly☆44Updated 16 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- Experiments in bootstrapping from bare-metal☆31Updated 4 years ago
- tiny aarch64 baremetal OS thingy☆51Updated 6 years ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆91Updated 4 years ago
- The PLAtform NEutral Transpiler☆120Updated 3 weeks ago
- The LLVM-based Modula-2 compiler☆73Updated 8 months ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- A simple ARM/x86(_64) static linker☆45Updated 2 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- Third, a small Forth compiler for 8086 DOS☆81Updated 10 years ago
- The Kent Retargetable occam Compiler☆46Updated 3 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 4 months ago
- Collection of community-maintained components for Genode☆47Updated last week
- Self-hosting C toolchain, from scratch☆36Updated 7 months ago
- Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script☆87Updated 4 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Updated last year