fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
- Stars
- 372
- Forks
- 24
- Language
- Go
- License
- Apache-2.0
- Last commit
- updated Nov 2026
Straight from GitHub
Nobody has written up this repo. Everything on this page comes straight from the GitHub API, so there is no founder write-up, no pros and cons, and no difficulty rating — rather than a generated guess at them.
Maintenance
Pushed within three months of the last stats read (as of Nov 6, 2026).
Licence
Apache-2.0
Tech stack
Primary language: Go. GitHub reports only the dominant language, so this is not the whole stack.
Install
No install command has been verified for this repo. Follow the README rather than a guess.
Quality score
Computed by the discovery import when this entry was added.
- Recent activity×0.30
- 1.00
How recently the default branch was pushed to.
- Adoption×0.20
- 0.55
Stars on a log scale, so adoption counts without dominating.
- Description and topics×0.15
- 1.00
Whether the repo describes itself: description, topics, homepage.
- README present×0.15
- 1.00
Whether the repository has a README at all.
- Licence clarity×0.10
- 1.00
Whether GitHub can resolve the licence to a recognised SPDX id.
- Issue health×0.10
- 0.60
Open issues relative to adoption, as a rough maintenance signal.
Similar repos
Same category, ranked by shared topics.
Reverse engineer anything with agents, from app behavior down to native binaries.
436.2k starsTypeScriptMITupdated Nov 2026Developer ToolsTurn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.
143.2k starsPythonApache-2.0updated Nov 2026AI & MLGive your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.
109.5k starsPythonMITupdated Nov 2026Productivity & AutomationAn open-source AI agent that brings the power of Gemini directly into your terminal.
108.7k starsTypeScriptApache-2.0updated Nov 2026Developer Tools
Stats updated Nov 6, 2026. Stars, forks, issue counts, and dates are a snapshot read from the GitHub REST API, not a live figure. This site makes no requests to GitHub when you load a page.