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.
☆78Jul 25, 2022Updated 3 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
- BK0011M (USSR retro home computer) core for MiST board☆18Mar 8, 2019Updated 7 years ago
- ☆12Jun 4, 2018Updated 8 years ago
- Smalltalk System includes VM and Native system☆13Jul 13, 2020Updated 5 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Oct 27, 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.
- 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
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆25May 28, 2026Updated last month
- BasedMUD is a DikuMUD/Merc/ROM/QuickMUD/BaseMUD derived MUD with MTH telnet support☆18Jul 24, 2022Updated 3 years ago
- To be able to run linux on a Cisco Catalyst 2900XL.☆27Jan 6, 2013Updated 13 years ago
- Tests for at-import in CSS☆18May 16, 2026Updated last month
- 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
- Prex is a portable real-time operating system for embedded systems☆28Jun 22, 2010Updated 16 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- K42 Kernel☆32May 11, 2012Updated 14 years ago
- a simple operating system☆10May 10, 2015Updated 11 years ago
- ☆13Aug 11, 2021Updated 4 years ago
- Collection of composable P2P libraries☆26Aug 27, 2021Updated 4 years ago
- This implementation of file system is developed by ELM Chan☆17Oct 23, 2025Updated 8 months ago
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- a capability-based system☆40May 22, 2018Updated 8 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
- 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.
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 3 years ago
- Go bindings for the Brotli compression library (fork of kothar/brotli-go)☆12Jul 2, 2019Updated 7 years ago
- Prototype language for signal processing☆30May 10, 2026Updated last month
- Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C☆16Jan 4, 2026Updated 5 months ago
- A custom Cargo runner that runs Rust firmware in the renode emulator☆13Apr 28, 2025Updated last year
- Lock-free queues.☆21Dec 10, 2023Updated 2 years ago
- An async Rust wrapper around the BlueZ D-Bus interface, for Bluetooth central functionality on Linux.☆43Jun 25, 2026Updated last week
- A snake game for MS-DOS. 🐍☆17Sep 3, 2024Updated last year
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 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.
- 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
- Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators☆31Jun 27, 2021Updated 5 years ago
- A from-scratch kernel that aims to be (nearly) fully ABI compatible with the Linux kernel userland☆31Jun 14, 2026Updated 2 weeks ago
- T1 Documentation☆11May 14, 2019Updated 7 years ago
- A JavaScript proposal to add `a[^i]` syntax for `a[a.length - i]`☆17Nov 16, 2023Updated 2 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆33Jun 5, 2026Updated 3 weeks ago