xag 

Record the answers your code got from the outside world while handling a request, and replay that exact request against the real code. A .NET implementation of the frozen tape-v1 wire format.... More information

Name reserved for quern: rules and vocabulary as data, published as versioned, digest-pinned packages. https://github.com/xag/quern

Name reserved for flight-recorder: record the answers your code got from the outside world while handling a request, and replay that exact request against the real code. https://github.com/xag/flight-recorder

Name reserved for epure: prove a design once over a model, then hold every execution to it at the semantic boundary. https://github.com/xag/epure