microkernels

Here are 2 public repositories matching this topic...

Mattral / SIMD-Microkernels-for-ML-Workloads

open-source C++17 library of clean, well-documented hand-vectorized microkernels for core ML primitives. It deliberately occupies the middle ground between toy textbook code and opaque production BLAS: production techniques (panel packing, register blocking, software prefetching)

python machine-learning cpp simd high-performance-computing performance-optimization microkernels ml-primitives

Updated Aug 11, 2026
C++

AxonOS-org / axonos-kernel

Star

Hard real-time Rust microkernel for brain-computer interfaces. #![no_std] on Cortex-M, EDF scheduling with Kani-verified WCRT bounds, zero-copy intent path, capability-based privacy by construction. ABI v1 — tandem with axonos-sdk.

rust security real-time embedded cortex-m zero-copy bci microkernel rtos bare-metal formal-verification no-std brain-computer-interface safety-critical kani microkernel-architecture microkernels axonos

Updated Aug 20, 2026
Rust

Add this topic to your repo

To associate your repository with the microkernels topic, visit your repo's landing page and select "manage topics."

Learn more