A fully capability-based operating system
☆29Jul 12, 2019Updated 7 years ago
Alternatives and similar repositories for cosix
Users that are interested in cosix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A binary serialisation format inspired by YAML, MessagePack and nvlists.☆34Sep 12, 2020Updated 6 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Feb 23, 2020Updated 6 years ago
- Implementation of a brainfuck interpreter written for the Game Boy.☆17Jan 27, 2017Updated 9 years ago
- A horizontally scaling object store based on the CRUSH placement algorithm.☆13Nov 1, 2022Updated 3 years ago
- Sparc emulator☆11May 19, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Updated this week
- An Adaptative Replacement Cache for Rust☆16Sep 25, 2026Updated 2 weeks ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆30Aug 27, 2015Updated 11 years ago
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- XPath expression markup built on top of StAX streaming parser☆19Oct 20, 2016Updated 9 years ago
- A no frills delta debugger written in myrddin.☆29Nov 21, 2017Updated 8 years ago
- Rust bindings to the KVM interface☆17Jun 20, 2019Updated 7 years ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Updated this week
- Command line editor, C api, readline replacement☆28Sep 4, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13Mar 31, 2016Updated 10 years ago
- 2016–18 rewrite of the Ayeri Grammar | Moved to https://codeberg.org/carbeck/ayerigrammar☆25Feb 19, 2019Updated 7 years ago
- bugfree-octo-cyril☆19Mar 27, 2016Updated 10 years ago
- Final Year Project: Traffic sign detection and recognition using YOLO, and Raspberry Pi.☆19Jul 28, 2021Updated 5 years ago
- GnuSpeech is an articulatory speech synthesizer.☆45Sep 16, 2015Updated 11 years ago
- ☆23May 9, 2024Updated 2 years ago
- A Simple LisaOS Clascal ToolKit QuickDraw Program, based on sample code from Lisa ToolKit Self-Paced Training.☆31May 28, 2014Updated 12 years ago
- A native implementation of the RPM file specification in Go☆10Dec 18, 2023Updated 2 years ago
- ☆20Feb 22, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆26May 17, 2026Updated 4 months ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Apr 8, 2026Updated 6 months ago
- C minus compiler from grammar given in Kenneth C louden's introduction to compiler.☆11Aug 3, 2020Updated 6 years ago
- Unikernel applications framework☆13Jun 1, 2025Updated last year
- Atmel MARC4 disassembler☆17Mar 29, 2013Updated 13 years ago
- Enhanced MUMPS V1.☆23Feb 9, 2026Updated 8 months ago
- Package hdiutil implements a macOS hdiutil command wrapper.☆14May 22, 2019Updated 7 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- alpha-grade whitespace toolchain☆11Aug 5, 2025Updated last year
- ☆10Jan 1, 2023Updated 3 years ago
- ForAlign is a two-step algorithm designed for TLS-DLS(ULS) forest point cloud registration.☆14Feb 12, 2025Updated last year
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆11Apr 19, 2025Updated last year
- xv6 ported to x86_64.☆10Jan 9, 2021Updated 5 years ago
- Verifier for pkgsrc packages☆10Aug 10, 2026Updated last month
- Simulator of digirule 2A (https://bradsprojects.com/digirule2/) written in Python (by roro & wawa)☆12Jul 15, 2020Updated 6 years ago