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 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
- RISC-V Meta – a suite of tools that operate on RISC-V ISA (Instruction Set Architecture)☆12Feb 3, 2019Updated 7 years ago
- CloudABI's standard C library☆299Sep 12, 2020Updated 6 years ago
- HappyJon demo for Mac Plus☆10Dec 26, 2017Updated 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.
- A high availability distributed filesystem built on FoundationDB and fuse.☆23Mar 13, 2023Updated 3 years ago
- Cat's Eye Technologies' distribution of John Colagioia's Thue programming language☆31Aug 27, 2015Updated 11 years ago
- Label-based networking daemon☆23Jan 1, 2019Updated 7 years ago
- Packages for CloudABI☆22Sep 12, 2020Updated 6 years ago
- OpenGit - A BSD licensed clone of Git for FreeBSD (under heavy development)☆50Jan 22, 2024Updated 2 years ago
- A no frills delta debugger written in myrddin.☆30Nov 21, 2017Updated 8 years ago
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- 2016–18 rewrite of the Ayeri Grammar | Moved to https://codeberg.org/carbeck/ayerigrammar☆25Feb 19, 2019Updated 7 years ago
- Definitions for the CloudABI data types and system calls☆139Sep 12, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆23May 9, 2024Updated 2 years ago
- LLVM Cool Compiler (because why not)☆10Feb 10, 2017Updated 9 years ago
- Command line editor, C api, readline replacement☆28Sep 4, 2026Updated last month
- Global optimization without derivatives☆13Dec 13, 2020Updated 5 years ago
- ☆20Feb 22, 2022Updated 4 years ago
- XPath expression markup built on top of StAX streaming parser☆19Oct 20, 2016Updated 10 years ago
- A better make, inspired by djb's redo.☆52Aug 21, 2024Updated 2 years ago
- Web-based emulator and operating environment for the Burroughs B5500 computer system.☆81Jun 19, 2025Updated last year
- Attempt at a desktop shell and stuff; abandoned in favor of https://github.com/DankBSD/waysmoke☆15Jun 16, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Pocket sized Altair 8800 clone, with blinking lights.☆11Nov 26, 2021Updated 4 years ago
- Sinkhorn divergences for measures of unequal mass☆14Nov 19, 2023Updated 2 years ago
- Nikolay Nikolov's tiny bootable x86 OS written in pascal.☆22Dec 1, 2012Updated 13 years ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 7 years ago
- A native implementation of the RPM file specification in Go☆10Dec 18, 2023Updated 2 years ago
- An implementation of the Cake composition language (or something resembling one)☆12Sep 8, 2012Updated 14 years ago
- C minus compiler from grammar given in Kenneth C louden's introduction to compiler.☆11Aug 3, 2020Updated 6 years ago
- alpha-grade whitespace toolchain☆11Aug 5, 2025Updated last year
- Simple VAX Kernel☆13Sep 9, 2013Updated 13 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ANSI POSIX Environment neXt for Harvey OS☆33Feb 4, 2020Updated 6 years ago
- Materials for the Learn Julia with Us workshop series☆12Jul 7, 2022Updated 4 years ago
- LyX to I-D/RFC export by way of Lyx export to XHTML and XSLT conversion to xml2rfc schema☆11Feb 20, 2014Updated 12 years ago
- SEARCHING MAINTAINER | SkIDE is a fully tooled Open source Editor for Skript providing IDE like features.☆10Jan 9, 2021Updated 5 years ago
- [CVPR-2025] HeMoRa: Unsupervised Heuristic Consensus Sampling for Robust Point Cloud Registration☆12Mar 23, 2025Updated last year
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 5 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Jul 29, 2016Updated 10 years ago