Discover trending TLA
open-source projects

20
25
32
Our great sponsors
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • Zigi - Delete the most useless function ever: context switching.
  • SonarLint - Clean code begins in your IDE with SonarLint
  • Scout APM - Truly a developer’s best friend
Mentions
@
Stars Project Description
1 126 PGo is a source to source compiler from Modular PlusCal specs into Go programs.

Popular TLA Topics