Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

SignalAdvertise
DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats

Busbar
Busbar
Omnigraph
Omnigraph
Bifrost
Bifrost
Websitebench
Websitebench

aidenybai/tla-ts

A TLA+ interpreter and model checker in TypeScript

Visit GitHub
TLA
247
11
1 contributors
MIT License
website
FeaturedAdvertise to 180K+ monthly visitors
Busbar

Control what AI can do before it acts

Omnigraph

Versioned graph database on object storage. Git-style workflows and multimodal retrieval

Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Websitebench

Can AI agents reverse-engineer real websites?

Momentum

How fast aidenybai/tla-ts is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Oct 26 – Nov 12, 2026

Stars +194 in 18 days

02040
34

Forks +11 in 18 days

024
4

Merged PRs 342 in 18 days

0100200
178

Trendshift Trendingwhere the repository ranked each day it made the top 25

Not in the Trendshift top 25 in this period

Oct 26Oct 29Nov 1Nov 4Nov 7Nov 10
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRs
Mon, Oct 26, 2026+0+02
Tue, Oct 27, 2026+0+0178
Wed, Oct 28, 2026+0+119
Thu, Oct 29, 2026+17+411
Fri, Oct 30, 2026+34+117
Sat, Oct 31, 2026+13+142
Sun, Nov 1, 2026+6+138
Mon, Nov 2, 2026+30+05
Tue, Nov 3, 2026+21+14
Wed, Nov 4, 2026+6+07
Thu, Nov 5, 2026+22+01
Fri, Nov 6, 2026+31+00
Sat, Nov 7, 2026+5+10
Sun, Nov 8, 2026+0+12
Mon, Nov 9, 2026+3+09
Tue, Nov 10, 2026+3+05
Wed, Nov 11, 2026+3+02
Thu, Nov 12, 2026+0+00
Total+194+11342
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Social mentions

Recent discussions about this repository across the web
  1. Nov 51 post
    • found some interesting areas to apply fuzzing and formal verification today. pretty cool!

      Read full on X, posted by @mihar_22

      @mihar_22 · x.com

  2. Nov 21 post
    • introducing TLA-ts proofs, written 100% in TypeScript TLA+/TLC is normally used for model checking (a subset) But now you can write full on formally verified proofs that run anywhere (browser, Node,…

      Read full on X, posted by @aidenybai

      @aidenybai · x.com

You might also like

Repositories close to aidenybai/tla-ts
FeaturedAdvertise to 180K+ monthly visitors
Websitebench

Can AI agents reverse-engineer real websites?

Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Busbar

Control what AI can do before it acts

Omnigraph

Versioned graph database on object storage. Git-style workflows and multimodal retrieval

fabracht/tla-rs

Rust
828

apalache-mc/apalache

Scala

APALACHE: symbolic model checker for TLA+ and Quint

62455

tlaplus/tlaplus

Java

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

3.2k278

tlaplus/vscode-tlaplus

TypeScript

TLA+ language support for Visual Studio Code

44153

ocadaruma/tlaplus-intellij-plugin

Java

Intellij plugin for TLA+ formal specification language.

653

tlaplus/tlapm

OCaml

The TLA⁺ Proof Manager

13947

will62794/spectacle

JavaScript

Interactive playground for exploring and sharing TLA+ specifications in the browser.

22817

tlaplus/CommunityModules

TLA

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

31948

quint-co/quint

TypeScript

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

2.1k164