Ultra-fast offline pattern classification engine built in Rust. Encodes text into Sparse Distributed Representations (SDR) — 256K-bit sparse binary vectors — and performs similarity-based retri...
Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
SensWear is an open, modular, and AI-ready wearable platform that enables rapid prototyping and research-grade data collection with raw, time-synchronized multimodal streams. It combines a compact ...
An open source menu/UI library for embedded and IoT devices (AVR, ESP32, STM32, and other MCU targets), used wherever a device needs a navigable on-device UI: buttons, encoders, LCD/OLED/TFT displa...
A C++ metaprogramming framework enabling zero-overhead compile-time composition for embedded/IoT systems. Separates container traversal from operation logic under a single evaluation model, letting...
raylib is a simple and easy-to-use library to enjoy videogames programming. raylib is a lightweight, open-source C library designed to make graphics development simple, accessible and enjoyable for...
Zeitlos is an open-source RISC-V SoC and operating system for FPGA computers. It is designed as a complete, user-controlled computer platform, with open FPGA gateware, CPU, operating system, and ap...
Own Your Own Bring Your Own Keyboard. OYOBYOK is alternative firmware for the BYOK writing device, written entirely in C on ESP-IDF. It keeps the parts that make the device lovely to write on, the ...
The kernel-side foundation of AxonOS: seven Rust crates that compose into the real-time scheduling, capability isolation, time, inter-process communication and wire-format layer a brain-computer in...
Worst-case response time for a fixed-priority task set, with release jitter, blocking and optimal priority assignment, computed in exact integer arithmetic that refuses rather than rounds. No float...