TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

aidenybai/tla-ts

A TLA+ interpreter and model checker in TypeScript

Open source WebsiteDeveloper tools TypeScriptMIT

Stars

166

Today

+43

last 24 hours

This week

+51

Forks

9

Clone

git clone https://github.com/aidenybai/tla-ts.git

Star growth

2026-11-01: +82026-11-02: +02026-11-03: +43 (today so far)2026-11-01todaymax +43/day
Stars gained per day since 2026-11-01; the lighter bar is today so far.
#formal-verification#tlaplus#typescript
Created
2026-10-26
Last commit
2026-10-31
Gained since tracking
+51

Similar in Developer tools

Updated Tue, 03 Nov 2026 11:58:11 GMT · description from the project itself