TiGrIS, a tiling compiler that fits ML models onto embedded devices
Fits 4.5MB models into 256KB SRAM via tiling with zero dynamic memory allocation.
Open-source embedded security runtime and intrusion detection
Sub-microsecond CAN frame detection with zero heap allocation in 122K lines of Rust.
Embedded systems engineers, automotive developers
Tock OS · Hubbub · AWS IoT Device Defender
Fits 4.5MB models into 256KB SRAM via tiling with zero dynamic memory allocation.
Transport-layer security for MCP agents stops exfiltration unlike prompt-based guardrails.
3.6x faster than Hugging Face TEI on same hardware with zero Python overhead at runtime.
Type-system-enforced governance loop prevents agents from bypassing policy without code changes.
Sub-microsecond streaming SQL via zero-alloc hot path; genuine advancement over SQLite+DataFusion.
Formal verification + 20 threat layers for AI agent security at sub-5ms latency.