no-std

Rust + Python Topological ML Toolkit for persistent homology, Betti-curve features, manifold embeddings, topology docs, backend contracts, and E2E benchmarks for sklearn/PyTorch/TensorFlow-style pipelines.

Rust Embassy Examples for Seeed Studio reTerminal E1002 This repository contains idiomatic Rust examples for the Seeed Studio reTerminal E1002 carrier board (powered by the XIAO ESP32-S3 MCU), built using the Embassy async framework, esp-hal (v1.1), and defmt logging over USB-UART / RTT.

ONNX -> Rust: no_std code generator for microcontrollers. The model becomes the code -- no runtime, no interpreter, no heap.

Estimate real-time water depth from video with YOLOv8 segmentation, homography, and waterline detection for fast, accurate meter-level results

Reproducible end-to-end AxonOS intent flow (synthetic, deterministic) — reference demonstrator, not a medical device

Monitor urban air quality in real time to provide timely alerts and insights for healthier city living and informed response.

Security-first, API-native, self-hostable CMS written in Rust, with modular storage, capability-bound plugins, themes, and portable no_std core contracts.

Security-first, no_std Rust crate family for typed Dutch public-data APIs, beginning with NDW Traffic Signs.

The live scoring module for all 45 of Telegraph's canonical intents. Salience-weighted lexical scoring plus a from-scratch no_std MiniLM blend, with a wazero harness that runs the node's own promotion gates.

Security-first, no_std HTTP protocol framework for Rust, built for strict RFC conformance, deterministic parsing, bounded resource use, and runtime-independent deployment.

Patches rust crates so it uses the no_std_compat crate

Security-first STUN/TURN server built from scratch in Rust, with a no_std sans-I/O core, bounded resource use, deterministic testing, and portable deployment.

Security-first, no_std-first Rust ecosystem for bounded document parsing, sanitization, conversion, and writing with zero third-party dependencies.

A capability-secure operating system derived from mathematical first principles — machine-checked noninterference proof in Z3, a full reference implementation, compile-time unforgeable capabilities in Rust, and a kernel that boots on bare metal enforcing its own proven guarantees.

Deploy MechanicsDSL simulations to Arduino, Raspberry Pi, and ARM edge devices. Optimized C++ and no_std Rust for real-time closed-loop control and on-device physics.

Security-first, strongly typed Rust SDK ecosystem for Swedish public APIs and open government data, with reusable agency crates, no_std support where practical, and legal, respectful API usage by design.

Security-first, no_std-first Rust framework for time protocols, synchronization, verification, clock discipline, and precision timing—from NTP and NTS to PTP, GNSS, radio timecodes, and hardware clocks.

Embedded Rust Peripheral Access Crates for ATSAM microcontrollers

Security-first, API-first, self-hostable visitor and guest orchestration platform with typed journeys, privacy controls, offline site cells, capability-scoped integrations, and verifiable audit evidence.

Security-first Rust project for a post-quantum, policy-governed encryption protocol, CLI, and SDK built around portable no_std core crates.