tpt-solutions

Zero-bloat, MIT/Apache-2.0-licensed Rust middleware for infrastructure & industrial inspection robotics — edge AI defect detection, multi-sensor fusion, tethered drone/crawler control, and automated regulatory reporting for bridges, power lines, pipelines, wind turbines, and confined spaces.

Guide to the TPT Solutions open-source ecosystem: 300+ Rust repos grouped by layer, how the foundation crates fit together, and live todo.md progress.

Applied engineering primitives (fluid/gas properties, sensor timeseries alignment, infrastructure topology, control systems) for the tpt-solutions physical-systems verticals

Proof-native, verification-first building blocks for safety-critical Rust — exact arithmetic, typed proof ASTs, #[requires]/#[ensures] macros, deterministic simulation, and an SMT-LIB2 bridge.

10 deep-tech Rust libraries filling the missing plumbing of the Linux ecosystem — power management, HDR/VRR compositing, eBPF kernel testing, memory tiering, firmware parsing, pro-audio DSP, SAT-based dependency solving, and AI log diagnostics. MIT/Apache-2.0.

Pure-Rust, solver-agnostic suite of large-scale, network-aware, and discrete mathematical optimization crates — MILP, MINLP, network flow / OPF, constraint programming, metaheuristics, multi-objective, robust/stochastic, and decomposition (Benders, Dantzig-Wolfe, column generation). Bridges tpt-math and Tier 2 domain repos.

Software-defined, physics-informed, modular controlled environment agriculture. One container-scale chassis, swappable grow cartridges, and loadable crop profiles for potatoes through to microgreens.

Rust simulation & modeling substrate for science verticals: ODE/DAE, structured-grid PDE, multi-scale orchestration, probabilistic programming (NUTS), rigid-body physics, quantum state-vector sim, 2-D CT imaging, astrodynamics, and reaction-network DSL. Dual-licensed MIT OR Apache-2.0.

Integration harness that closes the loop between tpt-telos (verified codegen) and tpt-archon (capability kernel)

Pure-Rust, no_std content-addressable version control for structured data: Merkle DAG, structural diff, and 3-way merge for tpt-model entities.