# Apress/practical-tla-plus

<https://repo.masters-masters.com/en/repos/Apress/practical-tla-plus>

[Home](https://repo.masters-masters.com/en) › [Apress](https://repo.masters-masters.com/en/owners/Apress) › [practical-tla-plus](https://repo.masters-masters.com/en/repos/Apress/practical-tla-plus)

Apress/practical-tla-plus has 300 stars on GitHub. Its RepoMasters card: Alpha tier. Source Code for 'Practical TLA+' by Hillel Wayne Language: TLA.

| Field | Value |
| --- | --- |
| Owner | [Apress](https://repo.masters-masters.com/en/owners/Apress) |
| Stars | 300 |
| Forks | 70 |
| Language | [TLA](https://repo.masters-masters.com/en/languages/tla) |
| License | None |
| Created | 2018 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [Apress/practical-tla-plus](https://github.com/Apress/practical-tla-plus) |

## Repository

Source Code for 'Practical TLA+' by Hillel Wayne

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by Apress

- [Apress/ray-tracing-gems · ★ 1,041 · C · Beta](https://repo.masters-masters.com/en/repos/Apress/ray-tracing-gems)
- [Apress/Ray-Tracing-Gems-II · ★ 950 · C++ · Beta](https://repo.masters-masters.com/en/repos/Apress/Ray-Tracing-Gems-II)
- [Apress/low-level-programming · ★ 894 · Assembly · Beta](https://repo.masters-masters.com/en/repos/Apress/low-level-programming)
- [Apress/design-patterns-in-modern-cpp · ★ 575 · C++ · Alpha](https://repo.masters-masters.com/en/repos/Apress/design-patterns-in-modern-cpp)
- [Apress/pro-spring-5 · ★ 403 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/Apress/pro-spring-5)
- [Apress/pro-asp.net-core-mvc-2 · ★ 378 · HTML · Alpha](https://repo.masters-masters.com/en/repos/Apress/pro-asp.net-core-mvc-2)

## Nearby in TLA

- [lemmy/BlockingQueue · ★ 507 · TLA · Alpha](https://repo.masters-masters.com/en/repos/lemmy/BlockingQueue)
- [tlaplus/CommunityModules · ★ 318 · TLA · Alpha](https://repo.masters-masters.com/en/repos/tlaplus/CommunityModules)
- [pingcap/tla-plus · ★ 314 · TLA · Alpha](https://repo.masters-masters.com/en/repos/pingcap/tla-plus)
- [Azure/azure-cosmos-tla · ★ 298 · TLA · Alpha](https://repo.masters-masters.com/en/repos/Azure/azure-cosmos-tla)
- [hwayne/learntla-v2 · ★ 278 · TLA · Alpha](https://repo.masters-masters.com/en/repos/hwayne/learntla-v2)
- [DistCompiler/pgo · ★ 213 · TLA · Prototype](https://repo.masters-masters.com/en/repos/DistCompiler/pgo)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.