CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel IA-32 and ARM9 architectures.
☆79Jul 25, 2022Updated 4 years ago
Alternatives and similar repositories for capros
Users that are interested in capros are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Aurora Single Level Store☆32Mar 9, 2024Updated 2 years ago
- ☆12Jan 22, 2020Updated 6 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Oct 27, 2020Updated 5 years ago
- Tiny implementation of the GNU/Linux CGroupFS (sans resource controllers) as a PUFFS or FUSE filesystem for BSD platforms☆15Oct 7, 2021Updated 4 years ago
- Label-based networking daemon☆23Jan 1, 2019Updated 7 years ago
- 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.
- BasedMUD is a DikuMUD/Merc/ROM/QuickMUD/BaseMUD derived MUD with MTH telnet support☆18Jul 24, 2022Updated 4 years ago
- Tests for at-import in CSS☆19May 16, 2026Updated 2 months ago
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 8 years ago
- A Go parser for .FBP DSL language from NoFlo☆14Jul 16, 2014Updated 12 years ago
- BK0011M (USSR retro home computer) core for MiST board☆18Mar 8, 2019Updated 7 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆251Updated this week
- The nosh toolset☆18Jul 31, 2025Updated 11 months ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Jul 10, 2026Updated 2 weeks 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.
- Collection of composable P2P libraries☆26Aug 27, 2021Updated 4 years ago
- A FREE, easy-to-use and portable implementation of a 9p file server daemon for UNIX-like systems.☆13Nov 4, 2024Updated last year
- A general-purpose parser framework in Rust.☆12Jun 17, 2024Updated 2 years ago
- ☆12Jun 4, 2018Updated 8 years ago
- acehack git mirror☆10Mar 11, 2015Updated 11 years ago
- Prototype language for signal processing☆30Jul 6, 2026Updated 2 weeks ago
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆12Dec 19, 2025Updated 7 months ago
- Proposal: Out of memory immediately terminates agent cluster☆19May 21, 2025Updated last year
- aboot is the Linux bootloader for Alpha systems using the SRM console. This package also includes the utilities isomarkboot, swriteboot a…☆14Aug 1, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A lightweight IPC mechanism☆13Mar 29, 2016Updated 10 years ago
- AresMUSH online text-based game server☆36Jul 11, 2026Updated 2 weeks ago
- A variant of UnNetHack, development stopped☆16May 30, 2013Updated 13 years ago
- ☆22Jul 18, 2026Updated last week
- Might just be your next virtualenv☆22Oct 9, 2015Updated 10 years ago
- Library of scripts that patch the Mac OS ROM☆29Oct 20, 2019Updated 6 years ago
- Example OCaml library written using Rust and ocaml-rs☆17Mar 10, 2021Updated 5 years ago
- X Project Template, X-PT, an awesome startup project for GitHub☆17Sep 21, 2025Updated 10 months ago
- Educational course teaching fixed-point arithmetic from first principles. Strict C99, no dependencies, MIT licensed.☆20Jan 22, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- Generic RDF-based engine for building collaboration and open publishing web sites☆17Mar 10, 2021Updated 5 years ago
- An example of a common Wi-Fi set up scenario on ESP32 using Rust☆17Mar 29, 2024Updated 2 years ago
- A GPU accelerated, fast, interactive Mandelbrot and Julia fractal viewer using CUDA☆13May 6, 2023Updated 3 years ago
- Use https://github.com/elliotnunn/tbxi instead!☆31Jun 2, 2023Updated 3 years ago
- Smalltalk Virtual Machine☆15Mar 26, 2015Updated 11 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆313Dec 2, 2019Updated 6 years ago