RepoAlerts
SponsorGet alerts

aidenybai/tla-ts

CLI tool

Get alerts like thisView on GitHubWebsiteShare on X

Can I trust it?

Worth a closer look before you use it.

  • Warnings Check

    Very new: it was created 3 days ago. Wait a little before installing it.

  • Stars from real accounts No data

    We haven't checked its stars for fakes yet.

  • Active OK

    Last change today.

  • Licence OK

    MIT: you can use it for free, also in a commercial product. Keep the licence notice.

Quick checks from public data. They help, but they are no guarantee.

What it is

A TypeScript interpreter and model checker for TLA+ specifications, designed as a drop-in replacement for TLC that runs in browsers, Node and Bun without the JVM. It also provides a command-line tool and an API for checking specs and generating proof obligations.

Who it's for

Developers and engineers writing formal TLA+ specifications who want to model check them in JavaScript environments

How to use it

Install

npm install tla-ts

From its README. Check it there before running it.

Ask your AI to set it up

Paste this into Claude, ChatGPT or your coding assistant.

Help me install and set up aidenybai/tla-ts in my project. Follow its README: https://github.com/aidenybai/tla-ts. Explain each step and check it is safe before running anything.

Star curve

50From 0 to 50 stars between 26 Oct 2026 and 29 Oct 2026.

Alternatives

Similar projects named in its profile. Each link searches the directory.

Get alerts for repos like this

We'll email you when repos like this start rising. Free, once a week, only what matches.

22,183 GitHub repos watched and ranked every hour. Figures as of 29 October 2026.

What arrives: one email on Mondays with the repos that match, never more. See last week's. Privacy

For maintainers

Add this badge to your README. It shows the repo's place on the radar, updates every hour and links back to this page.

[![aidenybai/tla-ts on RepoAlerts](https://repoalerts.com/badge/aidenybai/tla-ts.svg)](https://repoalerts.com/repo/aidenybai/tla-ts?ref=badge)
Share on X
  • vercel-labs/tsc-ts

    An experimental port of the TypeScript 7.0.2 compiler (TypeScript-Go) written in TypeScript and compiled to native code with scriptc. Ships a tsc-ts command line and an --api server compatible with ts

    CLI toolDev infrastructureTypeScript · 410 stars · +27 this week · 22 days old · HN 50 pts

  • oxc-project/tsrs

    A Rust-based drop-in replacement for the TypeScript 7 compiler and language server, aiming for full conformance with lower memory use and faster type checking. Currently targets the main branch of mic

    CLI toolDev infrastructureRust · 2,561 stars · +670 this week · 28 days old

  • t3dotgg/tstack

    A collection of agent skills for Claude Code and Codex covering PR workflows: filing and babysitting PRs, taking over stale PRs, multi-model review loops, and formatting PR comments. Some skills use T

    AI skillAI agentsPython · 2,322 stars · +2,322 this week · 5 days old

  • colinhacks/motherload

    A set of TypeScript loaders that let code import TOML, YAML, JSONC, JSON5, CSV, TSV, Markdown, text and .env files as typed modules. Built on TypeScript 7.1 content mappers, so the types are checked b

    LibraryTypeScript · 274 stars · +145 this week · 23 days old

  • T-Auto/dsh-ops

    A plugin for DSH that adds bounded file and document tools, including reading CSV/TSV, DOCX body text and limited PDF text layers. Native mode returns compact line-numbered text, and PTC code uses a R

    AI skillAI agentsJavaScript · 4,741 stars · +953 this week · 21 days old

  • yielded-dev/effect-tsrs

    A Rust port of the Effect Language Service diagnostics, built on tsrs. Provides a command-line diagnostic runner and Oxlint type-aware linting covering all 130 Effect rules for Effect V3 and V4.

    CLI toolTypeScript · 60 stars · +60 this week · 5 days old