|
C |
4 |
Spoon Microkernel |
Feb 06, 2020 |
|
C |
97 |
Codezero Microkernel |
Aug 23, 2022 |
|
C++ |
13 |
x86 Microkernel |
Feb 11, 2023 |
|
Rust |
4 |
A microkernel |
Jun 06, 2022 |
|
Java |
2 |
Microkernel event-driven architecture library to create plugin-based event-driven applications. |
Apr 06, 2023 |
|
Rust |
5 |
The FlatMk Microkernel. |
Jun 01, 2021 |
|
Rust |
325 |
The Xous microkernel |
Aug 11, 2022 |
|
C |
3576 |
The seL4 microkernel |
Aug 30, 2022 |
|
C |
3 |
A tiny microkernel... :^) |
Nov 01, 2022 |
|
None |
21 |
The seL4 microkernel |
Feb 21, 2023 |
|
C |
6 |
capability-based microkernel |
Mar 23, 2023 |
|
C |
34 |
A basic microkernel |
Jan 12, 2023 |
|
C |
2 |
The seL4 microkernel |
May 10, 2023 |
|
Java |
32 |
Provides common core classes and the dependency injection microkernel powering all SIRIUS applications |
Jan 07, 2023 |
|
Rust |
6 |
API for the hypervisor-microkernel boundary |
Apr 15, 2022 |
|
Rust |
2 |
Microkernel-based system for heterogeneous manycores |
Mar 27, 2023 |
|
Assembly |
8 |
Simple microkernel-based OS |
Jul 01, 2021 |
|
C |
81 |
Phoenix-RTOS microkernel repository |
Jul 29, 2022 |
|
Ada |
106 |
The Ada Microkernel Project |
Apr 26, 2023 |
|
C++ |
3 |
something resembling an microkernel |
Oct 17, 2016 |
|
C |
19 |
Simple microkernel (early stage) |
Feb 04, 2023 |
|
Ruby |
19 |
A small (in-memory) Microkernel used by the Hanlon server for discovery of new nodes |
Sep 03, 2020 |
|
Rust |
20 |
A small experimental microkernel for embedded systems |
Nov 18, 2022 |
|
C++ |
3 |
Pong for the L4Re Microkernel Operating System |
Nov 07, 2022 |
|
Rust |
1401 |
Reimplement Zircon microkernel in Rust. |
Aug 18, 2022 |
|
Rust |
2 |
Reimplement Zircon microkernel in Rust. |
May 20, 2022 |
|
C |
4 |
Codezero microkernel by B-Labs |
Feb 27, 2021 |
|
PHP |
2 |
The "Symfony MicroKernel Edition" distribution |
Sep 03, 2020 |
|
C |
2 |
The Awesome Toy Microkernel (Atomik) |
Jul 06, 2022 |
|
Rust |
6 |
A capability based microkernel OS. |
Jul 19, 2022 |
|
C |
17 |
A simple microkernel operating system |
Apr 29, 2023 |
|
Haskell |
6 |
Google APIs for server to server applications |
Mar 10, 2022 |
|
Haskell |
4 |
Server Side Applications for Haskell |
Aug 29, 2016 |
|
C++ |
140 |
HTTP server for Qt applications |
Nov 26, 2022 |
|
C++ |
3 |
Http Server for Qt applications |
Sep 20, 2019 |
|
C |
447 |
A microkernel-based hackable operating system. |
Apr 30, 2023 |
|
Rust |
2 |
An experimental microkernel-based operating system. |
May 05, 2023 |
|
C |
22 |
:microbe: µ is a minimalist microkernel |
Apr 25, 2023 |
|
C |
2 |
A microkernel-based extensible operating system |
Nov 10, 2023 |
|
TypeScript |
11 |
Server applications monorepo |
Oct 07, 2022 |
|
JavaScript |
12 |
A modular web assembly microkernel os for the web |
Jul 31, 2022 |
|
JavaScript |
12 |
Framework for server-rendered Vue.js applications. |
Jul 29, 2022 |
|
TypeScript |
2 |
Server side rendering for Cargo applications |
Feb 07, 2023 |
|
Swift |
98 |
Instrumentation library for Swift server applications |
Aug 05, 2022 |
|
C++ |
4 |
Client and server applications for libjtaghal |
May 18, 2021 |
|
JavaScript |
5 |
Personal Express Server for various applications |
Dec 08, 2020 |
|
C# |
2 |
server plugin for ASP.NET MVC applications |
Dec 18, 2018 |
|
Go |
5 |
Easy config parsing for server applications. |
Mar 02, 2020 |
|
None |
2 |
A pure microkernel-based hackable operating system. |
Nov 08, 2020 |
|
C |
2 |
A Hobby OS with an microkernel - lxL4 |
Aug 30, 2023 |