Codezero Microkernel
☆113Jan 30, 2026Updated 9 months ago
Alternatives and similar repositories for codezero
Users that are interested in codezero are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆768Mar 25, 2026Updated 7 months ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆10May 7, 2018Updated 8 years ago
- minimal instruction set and assembler/compiler for "Hello World" execution☆115Apr 23, 2026Updated 6 months ago
- L4Ka::Hazelnut micro-kernel☆39Sep 1, 2015Updated 11 years ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆26Mar 11, 2014Updated 12 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- RTOS based on L4 microkernel.☆17Sep 18, 2018Updated 8 years ago
- Simple Lisp compiler. Compiles a minimal Lisp dialect to ANSI C.☆20Jul 26, 2015Updated 11 years ago
- A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips☆320Dec 3, 2023Updated 2 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 8 years ago
- Build a minimal multi-tasking OS kernel for ARM from scratch☆1,262Dec 14, 2025Updated 10 months ago
- L4Ka::Pistachio micro-kernel☆303Oct 14, 2019Updated 7 years ago
- Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch☆205Sep 1, 2017Updated 9 years ago
- simple execution environment for STM32F10x☆12Sep 17, 2013Updated 13 years ago
- Core components of self-driving car system in Project Puyuma☆24Sep 25, 2017Updated 9 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.
- 🤓 Build your own <insert technology here>☆17May 22, 2018Updated 8 years ago
- Configuration GUI and plugin API for the Awesome window manager☆10Aug 11, 2015Updated 11 years ago
- The seL4 microkernel☆5,842Updated this week
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆44Nov 25, 2020Updated 5 years ago
- JSDC Speaker 2014☆18Aug 8, 2014Updated 12 years ago
- 开源书籍：《C语言编程透视》☆22Dec 16, 2015Updated 10 years ago
- A library to hide awful OpenSSL API in a sane interface.☆12Nov 26, 2016Updated 9 years ago
- OSF/1 Release 1.0☆12Oct 16, 2021Updated 5 years ago
- G0V style guilde☆15Jul 8, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Userspace TCP/IP stack for Linux☆339Aug 5, 2023Updated 3 years ago
- ☆21Jul 13, 2015Updated 11 years ago
- Contents from Solaris 8 Source Foundation☆11Oct 11, 2021Updated 5 years ago
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11May 8, 2019Updated 7 years ago
- ☆10Sep 12, 2015Updated 11 years ago
- nand2vm - pure python implement of nand2tetris Hack platform☆10Jul 4, 2017Updated 9 years ago
- A collection of codes, articles and courses material by ccc☆38Feb 24, 2018Updated 8 years ago
- ☆26Sep 29, 2018Updated 8 years ago
- Hello World for bare metal ARMv8 using QEMU☆57Jul 8, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Build bits for Rask Ingemann Lambertsen's IA16 GCC port☆11Apr 16, 2017Updated 9 years ago
- The UNIX System V Release 4 source code for the AT&T 3B2☆16Nov 5, 2022Updated 3 years ago
- PowerPC implemented in Verilog for an FPGA.☆14Sep 12, 2024Updated 2 years ago
- ☆15Aug 4, 2022Updated 4 years ago
- 32-bit two-instruction (SUBLEQ+MUX) VM that self-hosts Forth and compiles RISC-V to native code☆27Aug 6, 2026Updated 2 months ago
- Microkernel-based system for heterogeneous manycores☆118Jul 30, 2026Updated 3 months ago
- sample phonebook program to illustrate the impact of cache miss☆12Aug 31, 2022Updated 4 years ago