Robotics from constrained devices to enterprise compute.
A Rust-first, contract-driven robotics development and operations platform aimed at designing, controlling, simulating, testing, deploying and operating compatible robotic systems through one engineering model.
Shared contracts across very different hardware.
The target architecture uses Tiny, MCU, Edge, Workstation and Enterprise execution profiles with shared contracts, identities, clocks and diagnostics, while profile-specific executors and device bindings adapt to actual hardware constraints.
Contract-driven core
Typed contracts, semantic identity and validation provide an explicit boundary between components and deployment decisions.
Embedded foundations
Current work includes no_std primitives, serial framing, generated Rust/C++ scalar codecs and AVR-oriented conformance checks.
Deterministic evidence
Recording, replay, explanation, fixed-step simulation and graph validation are being used to make system behaviour testable and inspectable.
Conventional control preserved
Classical control, automation and autonomy remain first-class; AI can be added where appropriate rather than becoming a mandatory system dependency.
A robotics platform designed around trust and portability.
For technical collaboration, research, integration or product discussions, contact Neuradix.