corpus.blog
41,554 blogs · 5,149,205 posts Claim your blog
Record · corpus.blog/posts/01a08721-59ab-73be-b067-f6ab6affcbd2

The current state of TLA⁺ development

ahelwer.ca · published 15 May 2025

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at ahelwer.ca Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
56
Words captured
3,037

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://conf.tlapl.us/2025-etaps/
conf.tlapl.us
https://etaps.org/2025/
etaps.org
https://foundation.tlapl.us/
foundation.tlapl.us
https://foundation.tlapl.us/grants/2024-grant-program/index.html
foundation.tlapl.us
https://github.com/tlaplus/tlaplus/tree/e61495931507f5ad5ec232be9e65fe8f2a1bf379/tlatools/org.lamport.tlatools
github.com
https://github.com/javacc/javacc
github.com
https://github.com/tlaplus/tlapm
github.com
https://github.com/tlaplus-community/tree-sitter-tlaplus/
github.com
https://tree-sitter.github.io/tree-sitter/
tree-sitter.github.io
https://github.com/tlaplus/rfcs/issues/9
github.com
https://pypi.org/project/tla/
pypi.org
https://github.com/ret/specifica
github.com
https://github.com/bugarela/tla-transmutation
github.com
https://codeberg.org/tlaplus/rstla
codeberg.org
https://github.com/tlaplus/tlaplus/tree/e61495931507f5ad5ec232be9e65fe8f2a1bf379/tlatools/org.lamport.tlatools/src/tlc2
github.com
https://github.com/will62794/spectacle
github.com
https://will62794.github.io/
will62794.github.io
https://conf.tlapl.us/2024/
conf.tlapl.us
https://github.com/apalache-mc/apalache
github.com
https://github.com/Z3Prover/z3
github.com
https://www.cl.cam.ac.uk/research/hvg/Isabelle/
cl.cam.ac.uk
https://github.com/zenon-prover/zenon
github.com
https://apalache-mc.org/docs/apalache/typechecker-snowcat.html
apalache-mc.org
https://github.com/FedericoPonzi/tlaplus-formatter
github.com
https://github.com/domodwyer/tlafmt
github.com
https://github.com/tlaplus/tlapm/tree/e9b8bb51818f0b454384e8d94fe614899a0aaa78/lsp
github.com
https://github.com/kape1395
github.com
https://github.com/tlaplus-community/tlauc
github.com
https://github.com/tlaplus/vscode-tlaplus/
github.com
https://github.com/tlaplus/vscode-tlaplus/pull/367
github.com
https://lamport.azurewebsites.net/pubs/pubs.html
lamport.azurewebsites.net
https://lamport.azurewebsites.net/tla/tla2.html
lamport.azurewebsites.net
https://github.com/lemmy
github.com
https://calvin.loncaric.us/
calvin.loncaric.us
https://github.com/tlaplus/rfcs/tree/2a772d9dd11acec5d7dedf30abfab91a49de48b8/language_standard/tests
github.com
https://lobste.rs/s/58jah7/what_implementation_independent_test
lobste.rs
https://github.com/tlaplus/tlaplus/blob/e61495931507f5ad5ec232be9e65fe8f2a1bf379/DEVELOPING.md
github.com
https://github.com/tlaplus/tlaplus/blob/e61495931507f5ad5ec232be9e65fe8f2a1bf379/CONTRIBUTING.md
github.com
https://foundation.tlapl.us/blog/index.html
foundation.tlapl.us
https://docs.tlapl.us/creating:start
docs.tlapl.us
https://craftinginterpreters.com/
craftinginterpreters.com
https://bugbash.antithesis.com
bugbash.antithesis.com
https://www.hillelwayne.com/
hillelwayne.com
https://github.com/tlaplus/rfcs/issues/10
github.com
https://github.com/tlaplus/tlaplus/pull/1125
github.com
https://oss.sonatype.org/content/repositories/snapshots/org/lamport/tla2tools/
oss.sonatype.org
https://cse.buffalo.edu/~demirbas/
cse.buffalo.edu
Modular verification of MongoDB Transactions using TLA+ Read at the source ↗
muratbuffalo.blogspot.com
Notes from the TLA+ Community Event Read at the source ↗
muratbuffalo.blogspot.com
https://emptysqua.re/blog/about/
emptysqua.re
Are We Serious About Using TLA+ For Statistical Properties? Read at the source ↗
emptysqua.re
Jesse's 2025 TLA+ Community Event Notes Read at the source ↗
emptysqua.re
https://lobste.rs/s/auqf51/current_state_tla_development
lobste.rs
https://discuss.systems/@ahelwer/114513355067720408
discuss.systems
https://news.ycombinator.com/item?id=43998115
news.ycombinator.com
https://www.linkedin.com/posts/ahelwer_the-current-state-of-tla-development-activity-7328855373866504192-uv45
linkedin.com
Elsewhere on ahelwer.ca (3)