TLA


Total Packages: 21

Popular TLA Packages See more »

github.com/ubc-nss/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars
github.com/DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars
mychips
Reference MyCHIPs server
Latest release 0.2.0 - Updated - 11 stars
com.fhackett:pgo_3
PGo
Latest release 0.1.0 - Published - 194 stars
github.com/DistCompiler/pgo/systems/dqueue
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars

New TLA Packages See more »

com.fhackett:pgo_3
PGo
Latest release 0.1.0 - Published - 194 stars

Updated TLA Packages See more »

github.com/ubc-nss/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars
github.com/DistCompiler/pgo/systems/dqueue
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars
github.com/DistCompiler/pgo/systems/raftres
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars
github.com/DistCompiler/pgo/systems/proxy
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars
github.com/DistCompiler/pgo/systems/shcounter
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Latest release v0.0.0-20251217225144-401674a6901d - Updated - 194 stars

Most Depended upon TLA Packages

mychips
Reference MyCHIPs server
Latest release 0.2.0 - Updated - 11 stars
libtlafmt
A formatter library for TLA+ specs, core of tlafmt
Latest release 0.4.1 - Updated - 5 stars

Top TLA Licenses

Apache-2.0 19 projects

GPL-3.0 1 project

MIT 1 project

Top TLA Package Managers

Go 17 projects

Cargo 2 projects

Maven 1 project

npm 1 project