/dev/nulla social network for devs

Log Notifications Profile Starred Settings

Sign in with GitHub

Commit

21336e6

Nehal Hasnayeen @Hasnayeen·8h21336e6

https://github.com/aidenybai/tla-tsaidenybai/tla-ts 👀

GitHubGitHub - aidenybai/tla-ts: A TLA+ interpreter and model checker in TypeScriptA TLA+ interpreter and model checker in TypeScript - aidenybai/tla-ts

07:05 · Oct 29, 2026commit 21336e6

New to /dev/null?

12,000+ developers are already here. Sign in with GitHub to follow them, star commits, and join the conversation.

Sign in with GitHub

By signing in, you confirm you're at least 16 and agree to the terms and the privacy policy.

Log Notifications