sgielen / cosixView external linksLinks
A fully capability-based operating system
☆27Jul 12, 2019Updated 6 years ago
Alternatives and similar repositories for cosix
Users that are interested in cosix are comparing it to the libraries listed below
Sorting:
- Sparc emulator☆11May 19, 2018Updated 7 years ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆12Nov 1, 2022Updated 3 years ago
- Implementation of a brainfuck interpreter written for the Game Boy.☆16Jan 27, 2017Updated 9 years ago
- A high availability distributed filesystem built on FoundationDB and fuse.☆20Mar 13, 2023Updated 2 years ago
- A library to compile USDT probes into a Rust library☆48Aug 27, 2024Updated last year
- A scriptable interface to ZeroTier One's administration API.☆20Jul 27, 2016Updated 9 years ago
- ☆13Mar 31, 2016Updated 9 years ago
- A tool for testing C compilers automatically☆21Jan 24, 2016Updated 10 years ago
- ☆20Feb 22, 2022Updated 3 years ago
- ☆22May 9, 2024Updated last year
- A basic UNIX shell implementation in C☆34Oct 2, 2019Updated 6 years ago
- ☆24Nov 30, 2025Updated 2 months ago
- Nikolay Nikolov's tiny bootable x86 OS written in pascal.☆22Dec 1, 2012Updated 13 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆29Aug 27, 2015Updated 10 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Feb 23, 2020Updated 5 years ago
- Zero-shot RGB-D Point Cloud Registration with Pre-trained Large Vision Model☆17Mar 15, 2025Updated 11 months ago
- GnuSpeech is an articulatory speech synthesizer.☆44Sep 16, 2015Updated 10 years ago
- CloudABI's standard C library☆300Sep 12, 2020Updated 5 years ago
- A Python framework for interacting with in-browser DOM via websockets☆11Mar 28, 2018Updated 7 years ago
- Pony package for parsing, manipulating, and compiling Pony code.☆36Nov 23, 2020Updated 5 years ago
- Personal branch of git://c9x.me/qbe.git☆37Oct 29, 2021Updated 4 years ago
- Restoring a lesser-known Unix System V Release 4/i386 distribution from the early 90s☆14Dec 12, 2024Updated last year
- 3D Models, Gerbers and Firmware for creating a 4 key macropad.☆12Jan 31, 2018Updated 8 years ago
- Native Google Chrome extension for picture in picture mode. Supports Youtube, Twitch, Mixer, Netflix, Facebook and many other platforms.☆12Feb 3, 2019Updated 7 years ago
- a MIDI connector☆10Feb 1, 2026Updated 2 weeks ago
- Linux Developer Libraries☆12May 8, 2017Updated 8 years ago
- Melo: your personal music hub (Remote files, Webradio, Airplay, UPnP, DLNA, ...)☆10Dec 25, 2024Updated last year
- Programming language designed as an experiment to explore mutation and aliasing control☆35Apr 13, 2020Updated 5 years ago
- SQL preprocessor for LaTeX☆11Nov 2, 2025Updated 3 months ago
- A conlang lexicon software made in Python☆13Aug 24, 2025Updated 5 months ago
- Collaborative Discourse Manager☆11Nov 6, 2016Updated 9 years ago
- Pebble's app development toolkit for the Pebble smartwatch, Android and iOS☆200May 15, 2014Updated 11 years ago
- Altair8800_Mister☆13Dec 9, 2025Updated 2 months ago
- Tox is a statically typed version programming language that is written in rust.☆39Jan 20, 2023Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- Library for literal 128-bit integers in C++☆11Nov 18, 2025Updated 2 months ago
- ☆11Jul 15, 2019Updated 6 years ago
- Interpreter for my esolang☆11Aug 15, 2022Updated 3 years ago
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago