fizzbee-io/fizzbee

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

3 mentions on Hacker News by 2 people: 2 stories, 1 comment · first 2024-03-28 · latest 2024-04-02

Mentions per year 3 mentions · busiest year 2024 (3)

20082026

All Stories Comments Newest Top Oldest

…applications most developed build. FizzBee is a formal language that's almost just Python. https://github.com/fizzbee-io/fizzbee
comment by jayaprabhakar · 2024-04-01 · in FizzBee: Open-source formal methods tool that's not hard