fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
PythonApache-2.0
Stargazers
- arjunsk@matrixorigin
- ashwanthkumar@AKLabs
- azell
- Bnjoroge1
- bruno-who-likes
- c22
- damnMeddlingKid@Shopify
- DaveLak
- dotsource
- endedasende
- eras@Vincit
- eye942
- firebean13
- gilbertAustin, TX
- GonVas
- jayaprabhakar
- jly02
- kmannislandsOmniscient Neurotechnology
- knowsuchagencyKNOWSUCHAGENCY CORP
- larrytheliquid@colimit-io
- merlimat@streamnative
- prydt0x80000000
- SantoshSrinivas79
- Sh4rKHungary
- shashank68@WebClub-NITK @IRIS-NITK
- SlachAltinity
- slaiyer
- srenatus@StyraInc @open-policy-agent
- sriram-srinivasanBerkeley, CA
- stepbrobdUniversity of Tokyo
- sunlei@Botpy
- thalesmg
- tiejunhuBeijing
- vgalinFrance
- vrthraThe University of Sydney
- websitegardener