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. 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☆16Mar 8, 2019Updated 7 years ago
- Source code of the KeyKOS operating system☆18Apr 8, 2019Updated 7 years ago
- ☆12Jun 4, 2018Updated 7 years ago
- Smalltalk System includes VM and Native system☆13Jul 13, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A web application server with built-in object capability security built on Node.js/Express☆15Oct 27, 2020Updated 5 years ago
- Label-based networking daemon☆23Jan 1, 2019Updated 7 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- A version of the Lisp programming language for STM32-based boards☆27Dec 4, 2020Updated 5 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☆18Mar 14, 2026Updated 3 weeks ago
- 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
- An example of a common Wi-Fi set up scenario on ESP32 using Rust☆16Mar 29, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Simple hobby POSIX-compatible OS for i8086+☆17Dec 14, 2022Updated 3 years ago
- A Go parser for .FBP DSL language from NoFlo☆14Jul 16, 2014Updated 11 years ago
- K42 Kernel☆31May 11, 2012Updated 13 years ago
- The nosh toolset☆18Jul 31, 2025Updated 8 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…☆15Updated this week
- Collection of composable P2P libraries☆26Aug 27, 2021Updated 4 years ago
- Carpet fractal genetic algorithm☆13Oct 4, 2017Updated 8 years ago
- A FREE, easy-to-use and portable implementation of a 9p file server daemon for UNIX-like systems.☆12Nov 4, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- UNIXv7 ported to RISC-V, specifically the Longnan Nano SBC☆13Mar 30, 2023Updated 3 years ago
- Mirror of https://git.pfarley.dev/lambda-os/lambda-kern, Multi-architecture hobby operating system kernel created in C☆16Jan 4, 2026Updated 3 months ago
- ARM Cortex M0 emulator for DOS☆29Oct 31, 2023Updated 2 years ago
- Lock-free queues.☆20Dec 10, 2023Updated 2 years ago
- Work on good practices for the use of capability URLs☆35Oct 30, 2018Updated 7 years ago
- A snake game for MS-DOS. 🐍☆18Sep 3, 2024Updated last year
- 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☆17Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- T1 Documentation☆11May 14, 2019Updated 6 years ago
- a barebones bootable platform to run the frotz z-code interpreter inside a VM☆18Oct 17, 2016Updated 9 years ago
- An embedded OS for Apple M1 Pro chipsets☆18Sep 24, 2023Updated 2 years ago
- A lightweight IPC mechanism☆13Mar 29, 2016Updated 10 years ago
- x86 16-bit program drawing the heart curve equation☆17Feb 15, 2021Updated 5 years ago
- Release history of Chatbot-Eliza☆10Dec 4, 2023Updated 2 years ago
- Two Kilo—fully functional texteditor in 2 kb of C☆15May 29, 2020Updated 5 years ago