Hacker GitHub

← All repos

fizzbee-io/fizzbee

View on GitHub ↗ ★ 377 Go

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
AllStoriesComments NewestTopOldest
  1. ▲ 119
    Show HN: FizzBee – Formal methods in Python
    story by jayaprabhakar · 2024-04-02 · 23 comments
  2. ▲ 2
    FizzBee: A Python like language for formal specification
    story by quadrature · 2024-03-28 · 1 comment