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.
☆77Jul 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
Sorting:
- BK0011M (USSR retro home computer) core for MiST board☆16Mar 8, 2019Updated 7 years ago
- Source code of the KeyKOS operating system☆18Apr 8, 2019Updated 6 years ago
- ☆12Jun 4, 2018Updated 7 years ago
- Smalltalk System includes VM and Native system☆13Jul 13, 2020Updated 5 years ago
- BasedMUD is a DikuMUD/Merc/ROM/QuickMUD/BaseMUD derived MUD with MTH telnet support☆16Jul 24, 2022Updated 3 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
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- McLulang: The message is the language☆12Aug 23, 2024Updated last year
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 7 years ago
- Prex is a portable real-time operating system for embedded systems☆28Jun 22, 2010Updated 15 years ago
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- K42 Kernel☆31May 11, 2012Updated 13 years ago
- The nosh toolset☆18Jul 31, 2025Updated 7 months ago
- a simple operating system☆10May 10, 2015Updated 10 years ago
- A new iteration, from "scratch", of a µkernel-based operating system for 64-bit architectures. Previous iteration can be found here: http…☆15Mar 11, 2026Updated last week
- ☆13Aug 11, 2021Updated 4 years ago
- ECMAScript Proposal, specs, and reference implementation for Error.prototype.stack accessor☆20Mar 10, 2026Updated last week
- This implementation of file system is developed by ELM Chan☆16Oct 23, 2025Updated 4 months ago
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- a capability-based system☆41May 22, 2018Updated 7 years ago
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 2 years ago
- Coroutines for C.☆77Mar 2, 2017Updated 9 years ago
- Prototype language for signal processing☆27Nov 1, 2025Updated 4 months ago
- Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C☆16Jan 4, 2026Updated 2 months ago
- ARM Cortex M0 emulator for DOS☆29Oct 31, 2023Updated 2 years ago
- A custom Cargo runner that runs Rust firmware in the renode emulator☆11Apr 28, 2025Updated 10 months ago
- Lock-free queues.☆20Dec 10, 2023Updated 2 years ago
- An async Rust wrapper around the BlueZ D-Bus interface, for Bluetooth central functionality on Linux.☆42Mar 3, 2026Updated 2 weeks ago
- simple performant text editor in c++ and lua☆13Jun 16, 2017Updated 8 years ago
- A kind of "pure" PicoLisp (not "pure Lisp"!).☆13Aug 22, 2017Updated 8 years ago
- Functional, Type safe, Lazy abstractions for generic iterators in C - https://github.com/TotallyNotChase/c-iterators☆31Jun 27, 2021Updated 4 years ago
- A from-scratch kernel that aims to be (nearly) fully ABI compatible with the Linux kernel userland☆17Nov 8, 2025Updated 4 months ago
- 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
- Proposal: Out of memory immediately terminates agent cluster☆19May 21, 2025Updated 9 months ago
- T1 Documentation☆11May 14, 2019Updated 6 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☆34Mar 9, 2026Updated last week
- a barebones bootable platform to run the frotz z-code interpreter inside a VM☆18Oct 17, 2016Updated 9 years ago