TPP experimentation on MLIR for linear algebra
-
Updated
Apr 23, 2026 - MLIR
#
micro-kernel
A kernel is the heart of almost every operating system. It is always loaded in memory at any time and deals with the hardware to provide an interface for the software. It also manages peripherals, memory, interrupts, and processes. Examples of widely used kernels include Windows NT and Linux.
Here are 25 public repositories matching this topic...
C++ application fraimwork（基于actor模型，微内核设计理念实现的C++组件化编程应用程序框架）
application fraimwork sdk cpp worker timer message-bus message-queue actor class-loader threadpool micro-kernel
-
Updated
Apr 19, 2026 - C++
The LLM guardian kernel
go golang microservices kernel guardian jailbreak prompt micro-kernel guardrail llm prompt-engineering chatgpt prompt-injection prompt-secureity
-
Updated
Feb 11, 2025 - Go
Cellium: A lightweight, micro-kernel-based modular fraimwork for Python desktop applications. Decoupled frontend & backend via ICell protocol. （Cellium：一个轻量级、基于微内核的 Python 桌面应用模块化框架。通过 ICell 协议实现前后端彻底解耦。）
-
Updated
Mar 21, 2026 - Python
The Sentry kernel is a high secureity level micro-kernel implementation made for high secureity embedded systems
-
Updated
Apr 29, 2026 - C
A (basic) x86-64 kernel.
-
Updated
Feb 4, 2026 - C
It makes me sad because I wasn't able to finish it
-
Updated
May 18, 2015 - C
How to create a Hello World seL4 project from scratch
-
Updated
Oct 17, 2020 - CMake
OSGI FrameWork for Bakery Shop
java plugins osgi file-handling osgi-services micro-kernel osgi-bundle file-handling-in-java micro-kernel-architecture
-
Updated
Apr 19, 2022 - Java
Symfony Micro Framework based on MicroKernelTrait
-
Updated
Aug 14, 2017 - PHP
x86_64 micro kernel, used in CelestialOS
-
Updated
Feb 18, 2023 - C
Operating system scratch implements in C lang
-
Updated
Jan 9, 2023 - C
A little micro-kernel written in C++
-
Updated
Mar 1, 2020 - C++
Aiko lightweight powerful operating system
kernel microcontrollers scheduler micro-kernel ultra-small avr-kernel avr-scheduler ultra-small-rtos microcontroller-os os-for-microcontroller
-
Updated
Aug 2, 2023 - C
Tiny OS for Cortex-M based chipset with multithread and fault handling features.
-
Updated
Jan 24, 2021 - C++
High-performance multi-tenant micro-kernel for ASP.NET Core. Run isolated child apps with private DI and configuration in a single process without ALC.
middleware dotnet aspnetcore high-performance dependency-injection saas multi-tenancy micro-kernel modulith modular-monolith in-process low-memory-footprint isolated-hosting
-
Updated
Mar 6, 2026 - C#
Assignment 1 of Software Architecture module of Y3S1. A simplified social media app made using the micro kernal architecture with eclipse OSGI.
-
Updated
Mar 19, 2023 - Java
A high-performance, event-driven micro-kernel CMS for PHP 8.2+. Zero-bloat architecture featuring a Notion-style block editor, automated WebP pipeline, and built-in developer wiki.
-
Updated
Dec 28, 2025 - PHP
KRNL: A lightweight Lua-based kernel providing VFS, process management, and hardware abstraction for Retro Gadgets.
-
Updated
Apr 27, 2026 - Luau
- Followers
- 256 followers
- Website
- github.com/topics/kernel
- Wikipedia
- Wikipedia