The TLA CLI, an AI powered CLI for the TLA ecosystem
Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+, then generates runtime code and Postgres constraints from the same source.
A TLA+ model checker compiled to WebAssembly
A rollup plugin to add top level await support for iife/umd
A tree-sitter grammar for TLA⁺ and PlusCal
MCP server for TLA+ toolchain (TLC, SANY, PlusCal, TLATeX)
Pretty unicode tables for the command line. Based on the original cli-table.
Get stdout window width, with two fallbacks, tty and then a default.
TypeScript is a language for application scale JavaScript development
Talaria CLI - Intelligent multi-agent orchestration for Codex
Toggle the CLI cursor
CLI for webpack & friends
Detect event loop blockages and get a stack trace; fast enough for production.
The linux x64 distribution of the Sentry CLI binary.
No description provided.
Codex CLI is a coding agent from OpenAI that runs locally on your computer.
A command line utility to work with Sentry. https://docs.sentry.io/hosted/learn/cli/
Spinners for use in the terminal
Extensions to Web Streams API
Validate a webpack configuration.
easy to use progress-bar for command-line/terminal applications
Syntax highlighting in your terminal
Rollup (and Vite) plugin enabling concurrent execution of modules that contain top level await.
Vite as Node.js runtime
TLA+ CLI for linting, formatting, and TLC checks
Star Atlas Company Crate