SoftwareIn Progress
A C++20 price-time-priority matching engine with a live, interactive demo. The engine matches new/cancel/amend flow using fixed-point integer prices, packed order ids, and a pool/index data model over flat_map book sides — deterministic and single-threaded by design, the way a real venue matches a single instrument. A Crow server links it as a library and streams live order-book state over REST + WebSocket to a React trading-terminal UI, driven by a throttled, on-demand feeder; correctness is pinned by a differential oracle, a runtime invariant verifier, and adversarial load tests. Deployed on AWS Lightsail behind nginx.
C++20Price-Time MatchingFixed-Pointflat_mapPool/Index Data ModelCrowWebSocket+4