An exokernel for the raspberry pi 3.
☆83Nov 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:
- ☆15Feb 3, 2024Updated 2 years ago
- ☆26Jun 22, 2018Updated 8 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi☆18Feb 7, 2024Updated 2 years ago
- A microkernel based operating system developed from scratch. This repository also includes all Saturn services and applications.☆24Feb 23, 2020Updated 6 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 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A JIT compiler for Brainfuck running on x86_64 UEFI☆91Jul 23, 2018Updated 8 years ago
- 64 bit hobby OS☆28Apr 10, 2016Updated 10 years ago
- An AArch64 hobbyist OS for the Raspberry Pi 3 B+☆15Jan 28, 2022Updated 4 years ago
- Technology is free, SnowFlakeOS☆55Sep 15, 2018Updated 8 years ago
- An implementation in C of the pixel sorting algorithm used to glitch pictures.☆10Nov 2, 2017Updated 8 years ago
- An EXPERIMENTAL Go implementation of the CPace PAKE, instantiated with the ristretto255 group.☆29Feb 11, 2021Updated 5 years ago
- Snowman decompiler☆14Mar 8, 2023Updated 3 years ago
- Lightweight SSA compiler suite☆11Jul 15, 2026Updated 2 months ago
- 🔱 A WIP SMP-aware micro-kernel☆11Jul 29, 2025Updated 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.
- 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
- Functional Arch Linux system management☆29Apr 18, 2023Updated 3 years ago
- Implementation of the core of an exokernel-style operating system☆12Dec 6, 2014Updated 11 years ago
- A lightweight, multi-tasking graphical operating system, JUST FOR FUN!☆13Oct 8, 2018Updated 8 years ago
- An OS X kext written partly in the Rust programming language.☆21Aug 2, 2015Updated 11 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An embedded operating system built on seL4 in the Rust language.☆17Jan 28, 2016Updated 10 years ago
- XS-Labs Coding Style Guide☆26Nov 4, 2024Updated last year
- Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.☆19Mar 13, 2020Updated 6 years ago
- The LiteBSD ports tree.☆19Jan 21, 2018Updated 8 years ago
- 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
- jOS UEFI bootable 64 bit kernel☆13Sep 19, 2022Updated 4 years ago
- Towards an IETF RFC for XChaCha20-Poly1305☆28Jan 10, 2020Updated 6 years ago
- ☆12Mar 10, 2025Updated last year
- How to create an OS from scratch☆17Apr 22, 2018Updated 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.
- A simple, handmade, operating system for intel x86 cpu. Now written in c++ !☆31Oct 2, 2020Updated 6 years ago
- Base252 is a binary to C string encoding scheme with flexible escaping.☆23Jul 20, 2020Updated 6 years ago
- UNIX shell - a simple command-line interpreter☆20Apr 23, 2019Updated 7 years ago
- Moved to:☆12Jul 9, 2019Updated 7 years ago
- 템플릿 메타 프로그래밍을 이용한 아희 인터프리터☆22Aug 15, 2018Updated 8 years ago
- DEPRECATED MOVED TO MAIN REPO☆13Feb 25, 2017Updated 9 years ago
- Migrated to Codeberg☆11Aug 26, 2023Updated 3 years ago