A TLA+ interpreter and model checker in TypeScript
☆85Oct 30, 2026Updated this week
Alternatives and similar repositories for tla-ts
Users that are interested in tla-ts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Native Rust port of all 130 Effect diagnostics to tsrs☆60Updated this week
- Foldkit Plus: packages for Foldkit apps. Server data (Remote), local-first sync, routing (Site), SSR, forms, CRUD, a CMS, rich text, a pa…☆27Updated this week
- Show Effect traces in the Cloudflare Workers Observability dashboards☆10Oct 1, 2026Updated 3 weeks ago
- Markdown and MDX parser in TypeScript. Exact remark mdast output, 17 to 28x faster. Supports streaming parsing for LLM output.☆22Updated this week
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Lean 4 + the Sail-generated RISC-V ISA model prove, CompCert-style, that an inductive WHILE semantics abstracts a real interpreter binary…☆56Oct 5, 2026Updated 3 weeks ago
- Permutation Invariant Jev☆33Sep 28, 2026Updated last month
- A transactional outbox for Go applications which use pgx.☆49Oct 19, 2026Updated last week
- ☆16Aug 31, 2026Updated last month
- Effect × Next.js example showcasing typed middlewares, validated params, server actions, and simple React-side caching.☆23Oct 13, 2025Updated last year
- ☆12Sep 17, 2025Updated last year
- Tiny libraries for doing things in the browser with WebGPU☆12Oct 20, 2026Updated last week
- ☆848Updated this week
- Jevline: start from one confirmed-malicious process; Jev links the rest of the incident into a timeline, execution chain and evidence tab…☆45Oct 15, 2026Updated 2 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A framework for building decision-model harnesses for any kind of task. Your program offers the model a short list of next steps, and the…☆259Updated this week
- Tiny MLX-trained schedule model with a dependency-free WebGPU runtime☆18Sep 12, 2026Updated last month
- Yielded Agent: an agent harness toolkit for TypeScript, built on Effect and Effect AI.☆173Updated this week
- A tool for your agent to give you feedback on issues.☆15May 28, 2026Updated 5 months ago
- Universal toolkits for linting, viewing and managing i18n for any frameworks.☆589Updated this week
- Starter kit for building monorepo libraries in TypeScript, featuring Lerna, RollupJS, Jest, Prettier, TSLint, Semantic Release, and more!☆13Sep 11, 2019Updated 7 years ago
- QuickJS with durable execution: suspend running JS, snapshot the whole heap, resume it in another process. Native TypeScript, a REPL that…☆450Updated this week
- Schema-first state machines and statecharts for Effect☆237Updated this week
- Set of re-usable static rules, checks, scripts, and all sort of AI output quality tools☆120Aug 12, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆47Oct 12, 2026Updated 2 weeks ago
- ☆27Oct 7, 2026Updated 3 weeks ago
- remove invisible unicode characters☆23Oct 9, 2026Updated 3 weeks ago
- Reusable organization, tooling, and guardrails for Effect 4, Foldkit, Bun/mise, and Alchemy 2 on Cloudflare☆58Updated this week
- Alchemy provider for self-hosted celld instances: systemd units, SeaweedFS object store, ten-port layout, restart gate. Topology is injec…☆56Oct 17, 2026Updated last week
- A macOS desktop for your agents☆18Sep 23, 2026Updated last month
- Polished application primitives for Foldkit and StyleX.☆14Oct 20, 2026Updated last week
- Effect-native virtual filesystem packages: a runtime-neutral core and an in-memory FileSystem implementation.☆14Oct 22, 2026Updated last week
- ☆20Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Fold is an Effect-native, provider-agnostic, isomorphic agent core with an optional opinionated coding agent, CLI, and TUI. It supports m…☆172Oct 23, 2026Updated last week
- MCP server for fetching and querying dependency source code☆41Jan 20, 2026Updated 9 months ago
- soft-delete-triggers enables emulating db behavior through triggers when doing soft deletes☆10Aug 5, 2023Updated 3 years ago
- JS/TS SDK for working with files and folders in Matrix☆12Jan 9, 2024Updated 2 years ago
- Custom form to add subscriber from email to ConvertKit using NextJs and Effect・Newsletter sandromaglione.com☆18Nov 24, 2023Updated 2 years ago
- House-standard QA for Remotion videos in your brand. Every frame is measured and read by the Sage decision model.☆61Oct 14, 2026Updated 2 weeks ago
- High-Performance Headless AceStream Hub & Universal LAN Stream Proxy for Android TV (Port 8000, 0 Transcode, TTFB < 50ms)☆20Oct 11, 2026Updated 2 weeks ago