Measurement automation framework for physics labs (NMR/ODMR) with AI/MCP control — plus standalone dual-licensed lock-free STM (kamestm) and pool allocator (kamepoolalloc), TLA+/GenMC verified
qt jupyter cpp mcp memory-allocator stm nmr lock-free formal-verification software-transactional-memory laboratory-automation tla-plus odmr instrumental-control
-
Updated
Jul 12, 2026 - C++