Implementation of the core of an exokernel-style operating system
☆11Dec 6, 2014Updated 11 years ago
Alternatives and similar repositories for JOS-Exokernel
Users that are interested in JOS-Exokernel are comparing it to the libraries listed below
Sorting:
- JOS Lab of MIT 6.828: Operating System Engineering.☆18Aug 29, 2017Updated 8 years ago
- Stub for polymorphic code☆11Mar 18, 2023Updated 2 years ago
- Native inlining constant folding register allocating Forth compiler☆19Jan 19, 2016Updated 10 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Dec 2, 2015Updated 10 years ago
- Capability-based exokernel for x86_64☆22Nov 26, 2016Updated 9 years ago
- Sistema Operacional mais BRAsileiro☆18May 14, 2019Updated 6 years ago
- exokernel style operating system based on lightweight virtual machines☆25Apr 29, 2016Updated 9 years ago
- bcc is a b compiler☆33Jun 23, 2022Updated 3 years ago
- Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI☆30Sep 2, 2025Updated 5 months ago
- Exokernel is one of the major sources for container and library OS techniques.☆44Apr 5, 2022Updated 3 years ago
- An exokernel operating system written in D☆351May 31, 2013Updated 12 years ago
- ☆18Feb 5, 2026Updated 3 weeks ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- safe, no-cost and easy-to-use Cpp header to work safely with HW registers☆14Sep 15, 2024Updated last year
- Helper scripts, cross-compilation-files, makefile shims, and other helpful tools for working with Meson☆39Feb 20, 2025Updated last year
- Semiconductor diode laser current driver☆10Nov 14, 2022Updated 3 years ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Basic implementation of a double auction in Python☆10Aug 30, 2021Updated 4 years ago
- Very Low Accuracy Digital Setting Circles☆10May 23, 2017Updated 8 years ago
- libopencm3 c++ wrappers☆10Dec 25, 2020Updated 5 years ago
- FPGA Assembly (FASM) Parser and Generator☆99Jul 25, 2022Updated 3 years ago
- Fast, compact floating point math for ARM Cortex-M0+ MCUs.☆11Apr 16, 2025Updated 10 months ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- .NET bindings of libmdbx, succeeder of LMDB(Lightning Memory-Mapped Database)☆13Nov 21, 2018Updated 7 years ago
- Experiments with META II☆12Jan 9, 2018Updated 8 years ago
- Design by Contract for Java☆12Apr 13, 2013Updated 12 years ago
- A nim module to handle polynomials☆13Jun 7, 2022Updated 3 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- petitboot for ps3 with kexec "sort_segments failed" fixed☆12May 28, 2025Updated 9 months ago
- "Library" (no .a) for implementing the FlashRom SERprog protocol☆12Feb 28, 2023Updated 3 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- 仿高德地铁线路图SDK☆12Jun 15, 2021Updated 4 years ago
- ☆13Feb 13, 2026Updated 2 weeks ago
- A dwm-like top bar for dwl☆12Jul 13, 2025Updated 7 months ago
- eXokernel Development Kit for Linux☆14Jan 6, 2017Updated 9 years ago
- Burn is a programming language written in Rust.☆28Sep 11, 2014Updated 11 years ago
- newest version of small C that i know about, compiles to 32-bit fasm/nasm syntax assembly☆13Feb 26, 2015Updated 11 years ago
- A small lisp compiler / interpreter written using idiomatic C++☆15Apr 16, 2016Updated 9 years ago