An exokernel for the raspberry pi 3.
☆82Nov 17, 2021Updated 4 years ago
Alternatives and similar repositories for exoberry
Users that are interested in exoberry are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed Operating System on Exokernel (Unikernel) Concepts☆24Oct 7, 2023Updated 2 years ago
- hobby OS☆13Sep 29, 2015Updated 10 years ago
- Ship name utilities for Urbit☆11Mar 14, 2020Updated 6 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Dec 2, 2015Updated 10 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi☆18Feb 7, 2024Updated 2 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.
- ☆11Dec 9, 2022Updated 3 years ago
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Apr 8, 2026Updated 4 months ago
- A http package for IncludeOS☆14Dec 1, 2016Updated 9 years ago
- An exokernel operating system written in D☆351May 31, 2013Updated 13 years ago
- An AArch64 hobbyist OS for the Raspberry Pi 3 B+☆16Jan 28, 2022Updated 4 years ago
- RExOS - Realtime Exokernel Operating System☆102Aug 2, 2023Updated 3 years ago
- The CybOS operating system☆12Jul 9, 2018Updated 8 years ago
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 7 years ago
- An EXPERIMENTAL Go implementation of the CPace PAKE, instantiated with the ristretto255 group.☆29Feb 11, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Snowman decompiler☆14Mar 8, 2023Updated 3 years ago
- Lightweight SSA compiler suite☆11Jul 15, 2026Updated 3 weeks ago
- benchmarking positional population count☆17Oct 19, 2025Updated 9 months ago
- Stack clash coroutine demonstration☆13Jun 21, 2017Updated 9 years ago
- [mirror] Yggdrasil kernel - x86-64 Unix-like kernel☆14Nov 20, 2020Updated 5 years ago
- A Unix/Linux like operating system☆21Dec 10, 2019Updated 6 years ago
- Bake build system. corto fork of SanderMertens/bake☆16May 23, 2019Updated 7 years ago
- Omicron Wiki☆18Jan 15, 2013Updated 13 years ago
- Template for writing daemons in Rust☆14Sep 18, 2017Updated 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.
- Implementation of the core of an exokernel-style operating system☆11Dec 6, 2014Updated 11 years ago
- A lightweight, multi-tasking graphical operating system, JUST FOR FUN!☆13Oct 8, 2018Updated 7 years ago
- ANSI POSIX Environment neXt for Harvey OS☆33Feb 4, 2020Updated 6 years ago
- Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.☆19Mar 13, 2020Updated 6 years ago
- Mirror of KeyBase data☆10Jan 4, 2018Updated 8 years ago
- ☆19May 22, 2020Updated 6 years ago
- XS-Labs Coding Style Guide☆25Nov 4, 2024Updated last year
- Small Hash Optimization - an optimization for when you have many small hash maps - similar to LLVM's small vector optimization.☆39Jul 14, 2017Updated 9 years ago
- A hobbyist operating system created from scratch ⚙️. This is where I test my ✨ craziest ✨ operating system design ideas.☆29Dec 26, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Implementation 2-3 heap on C++☆11Dec 16, 2014Updated 11 years ago
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 3 years ago
- Towards an IETF RFC for XChaCha20-Poly1305☆28Jan 10, 2020Updated 6 years ago
- ☆12Mar 10, 2025Updated last year
- Base252 is a binary to C string encoding scheme with flexible escaping.☆23Jul 20, 2020Updated 6 years ago
- Repository is made to save OSKIT code.☆14Dec 1, 2024Updated last year
- Migrated to Codeberg☆11Aug 26, 2023Updated 2 years ago