Alternatives

Products that do what TLA PreCheck – TS DSL that proves state machines via TLA+ does

1. 1PD
   Prolly – DSL to express and query probabilities in code▲47

   2015 · github.com

2. 2CD
   Clojure DSL for pattern-matching, parsing and generic programming▲204

   2012 · scattered-thoughts.net

3. 3BA
   Booleans as a Service (BaaS)▲143

   2016 · booleans.io

4. 4BL
   Bender – Let's Standardize Serverless ETL▲52

   2017 · engblog.nextdoor.com

5. 5FV
   Formally Verified Leaderless Log Protocol for Kafka▲5

   We open-sourced the TLA+ and Fizzbee verified spec behind Ursa's storage engine. Verification across ~200K states caught a design bug that years of production missed. We then handed the spec to Claude Code — it produced a working Rust implementation (concurrent producers, compaction, fencing) without back-and-forth. We think verified specs are the best harness for coding agents: open-source the spec, let anyone implement it.

   Apr 2026 · github.com

6. 6WS
   WebRTC signalling data using QR codes▲80

   2018 · github.com

7. 7FS
   Finite State Machines for PostgreSQL▲25

   2020 · github.com

8. 8CF
   Chevrotain – Fault-Tolerant JavaScript Parsing DSL▲42

   2016 · github.com

9. 9WA
   Wasp – a DSL for building full-stack web apps▲20

   2020 · wasp-lang.dev

10. 10TA
    Tt – a Python library/cli for Boolean expressions▲23

    2017 · github.com

11. 11AD
    A DSL for generating binary files▲8

    2018 · github.com

12. 12EO
    Example of a Tcl extension in the Terra language▲7

    2016 · tcl.wiki

13. 13OS
    Open-Source Anonymous Encrypted TLS+OTR Messaging Written in Go▲25

    2015 · hacktunnel.com

14. 14AT
    A tool for creating custom TLS CA bundles▲20

    2014 · mkcert.org

15. 15GE
    GoUmbral – ECC arithmetic layer, and soon-to-be proxy re-encryption lib▲19

    2018 · github.com

16. 16SC
    Single Command SSL/TLS Reverse Proxy with Autogen'd Certs (Golang)▲13

    2018 · github.com

17. 17SA
    SOSML – An online interpreter for SML▲6

    2019 · sosml.discourse.ps.uni-saarland.de

18. 18AC
    A cross platform SOCKS5 proxy for TLS traffic inspection & manipulation▲5

    2025 · github.com

19. 19NA
    nimiTCL – a minimal TCL interpreter in 270 lines of Nim▲8

    2017 · github.com

20. 20FH
    Fast HTTP (L7) and TCP (L4) Tunnels Written in Golang▲5

    2019 · github.com

21. 21IF
    inletsctl – Fast HTTP (L7) and TCP (L4) Tunnels▲11

    2019 · github.com

22. 22EP
    Ecks.pl, a handy little tmux wrapper in Literate Perl▲12

    2016 · luchenlabs.com

23. 23AH
    A Haskell DSL for deep learning models▲10

    2015 · github.com

24. 24FS
    Finite State Machine for Go▲6

    2014 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →