**TDS (Test-Driven State)** is a TypeScript library that allows you to model programs as a union of individual traces. It's based on the idea that every program can be hypothetically devised from such traces, facilitating state transitions and verificatio
EPC Tag Data Standard encoding and decoding library, written in javascript for Node.js
A PostgreSQL implementation for Trace-Driven State Machines (TDS).