AlphaUncommon
fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
- Owner
- fizzbee-io (organization)
- Stars
- Stars: 368
- Forks
- Forks: 24
- Language
- Go
- License
- Apache-2.0
- Created
- 2024
- Topics
- formal-languagesformal-methodsformal-verificationltltlatla-plustlaplusalloyalloy-analyzerpluscal
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Go
All Go repos- fiffeek/hyprdynamicmonitorsStars: 368GoAlpha
- g-brook/brookStars: 368GoAlpha
- DatanoiseTV/tinyiceStars: 368GoAlpha
- pcarrier/gauthStars: 368GoAlpha
- satyrius/gonxStars: 368GoAlpha
- phayes/freeportStars: 368GoAlpha