Open Issues Need Help
View All on GitHub docs: add reusable TypeScript law-array patterns 2 months ago
documentation good first issue
luantaraschi/eventlaw luantaraschi/eventlaw Executable temporal laws for event-driven TypeScript systems.
Open project →
1
Executable temporal laws for event-driven TypeScript systems.
TypeScript
#event-driven#property-based-testing#runtime-verification#temporal-logic#typescript
docs: show JSONL source and line diagnostics 2 months ago
documentation good first issue
luantaraschi/eventlaw luantaraschi/eventlaw Executable temporal laws for event-driven TypeScript systems.
Open project →
1
Executable temporal laws for event-driven TypeScript systems.
TypeScript
#event-driven#property-based-testing#runtime-verification#temporal-logic#typescript
docs: add one complete example for each law operator 2 months ago
documentation good first issue
luantaraschi/eventlaw luantaraschi/eventlaw Executable temporal laws for event-driven TypeScript systems.
Open project →
1
Executable temporal laws for event-driven TypeScript systems.
TypeScript
#event-driven#property-based-testing#runtime-verification#temporal-logic#typescript