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 ...
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...
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...