# fizzbee-io/fizzbee

<https://repo.masters-masters.com/en/repos/fizzbee-io/fizzbee>

[Home](https://repo.masters-masters.com/en) › [fizzbee-io](https://repo.masters-masters.com/en/owners/fizzbee-io) › [fizzbee](https://repo.masters-masters.com/en/repos/fizzbee-io/fizzbee)

fizzbee-io/fizzbee has 369 stars on GitHub. Its RepoMasters card: Alpha tier. Easiest-ever formal methods language\! Designed for developers crafting…

| Field | Value |
| --- | --- |
| Owner | [fizzbee-io](https://repo.masters-masters.com/en/owners/fizzbee-io) |
| Stars | 369 |
| Forks | 24 |
| Language | [Go](https://repo.masters-masters.com/en/languages/go) |
| License | Apache-2.0 |
| Created | 2024 |
| Topics | formal-languages, formal-methods, formal-verification, ltl, tla, tla-plus, tlaplus, alloy, alloy-analyzer, pluscal |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [fizzbee-io/fizzbee](https://github.com/fizzbee-io/fizzbee) |

## Repository

Easiest-ever formal methods language\! Designed for developers crafting distributed systems, microservices, and cloud applications

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

## Nearby in Go

- [WXjzcccc/ForensicsTool · ★ 369 · Go · Alpha](https://repo.masters-masters.com/en/repos/WXjzcccc/ForensicsTool)
- [picosh/patchbin · ★ 369 · Go · Alpha](https://repo.masters-masters.com/en/repos/picosh/patchbin)
- [opsre/cloud\_dns\_exporter · ★ 369 · Go · Alpha](https://repo.masters-masters.com/en/repos/opsre/cloud_dns_exporter)
- [cpuguy83/docker-volumes · ★ 369 · Go · Alpha](https://repo.masters-masters.com/en/repos/cpuguy83/docker-volumes)
- [mibk/dupl · ★ 369 · Go · Alpha](https://repo.masters-masters.com/en/repos/mibk/dupl)
- [caarlos0/fork-cleaner · ★ 369 · Go · Alpha](https://repo.masters-masters.com/en/repos/caarlos0/fork-cleaner)

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