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
- BasedMUD is a DikuMUD/Merc/ROM/QuickMUD/BaseMUD derived MUD with MTH telnet support☆19Jul 24, 2022Updated 4 years ago
- Tests for at-import in CSS☆19Updated this week
- A version of the Lisp programming language for STM32-based boards☆28Dec 4, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 8 years ago
- BK0011M (USSR retro home computer) core for MiST board☆19Mar 8, 2019Updated 7 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆276Updated this week
- 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
- A lightweight HTTP web framework☆17May 1, 2021Updated 5 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
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 3 years ago
- ☆12Jun 4, 2018Updated 8 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.
- Metalanguage analysis☆10Dec 10, 2018Updated 7 years ago
- To be able to run linux on a Cisco Catalyst 2900XL.☆27Jan 6, 2013Updated 13 years ago
- aboot is the Linux bootloader for Alpha systems using the SRM console. This package also includes the utilities isomarkboot, swriteboot a…☆15Sep 10, 2026Updated last month
- A lightweight IPC mechanism☆13Mar 29, 2016Updated 10 years ago
- TinyOS (less academic, more industrial, rD, less filling), still a floor wax☆90Jul 16, 2021Updated 5 years ago
- AresMUSH online text-based game server☆36Aug 29, 2026Updated last month
- eMMC / SD Card testing library☆10Jul 2, 2025Updated last year
- Library of scripts that patch the Mac OS ROM☆28Oct 20, 2019Updated 6 years ago
- Example OCaml library written using Rust and ocaml-rs☆17Mar 10, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- fltkc☆13Aug 25, 2013Updated 13 years ago
- Museum-quality bit-archive storage management☆11Mar 25, 2026Updated 6 months ago
- 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
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated 2 years ago
- Encouraging better interactions in standards venues.☆17Mar 28, 2023Updated 3 years ago
- A Cargo subcommand for working with feL4 projects.☆52Jun 5, 2018Updated 8 years ago
- An example of a common Wi-Fi set up scenario on ESP32 using Rust☆17Mar 29, 2024Updated 2 years ago
- Use https://github.com/elliotnunn/tbxi instead!☆31Jun 2, 2023Updated 3 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.
- Generator for wrap conan libraries in a rust/cargo package☆13Jun 14, 2016Updated 10 years ago
- Utilities to work with Swatch Internet Time (.beat time).☆10Sep 14, 2022Updated 4 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.☆309Dec 2, 2019Updated 6 years ago
- K42 Kernel☆35May 11, 2012Updated 14 years ago
- Multiplatform operating system kernel☆10Oct 5, 2024Updated 2 years ago
- loosely implementing the Web Browser Engineering book in rust☆21Feb 25, 2023Updated 3 years ago