Contributions?

[asimihsan]

Hi @jayaprabhakar @jp-fizzbee,

Thank you for this project! I became aware of it when it was posted to Hacker News maybe a year ago, but started using it yesterday. I enjoy that this is a similar idea to TLA+ but more accessible and already has state diagrams and an explorer web view.

Are you accepting contributions for this project? I’m
working on a fork on:

• Builds: Fixing builds on Mac for Xcode 28, setting up mise for easier set up
• Hygiene : setting up linters and static analyzers, hooking them up to GitHub Actions and Forgejo Actions, benchmarks
• Ergonomics: creating a treesitter grammar to allow for syntax highlighting, creating a VS Code extension
• Debugging: Adding assertions to the explorer web UI
• Solver: confusion about oneof and suggestions

I propose that I would create a discussion per item or items of work, we can discuss before I cut a PR, then I cut PR. Also I prefer to cut stacked pull requests would it be alright to do that here? https://docs.github.com/en/pull-requests/get-started/about-stacked-prs

I’m also open to your own suggestions and prioritization. My goal is be able to use Fizzbee for a blog post series and a small toy project and take it from there.

Thank you!

[missarii]

https://github.com/missarii/Web-Pilot

[jp-fizzbee]

@asimihsan Thanks a lot. Yes, i would definitely appreciate contributions. I dont know much about the build tools. So far, i've just used bazel. I would love to see how to make this easier

[asimihsan]

Great thank you! I've started off with #378 .

[asimihsan]

I'm closing this discussion, and will respond further on PRs and other discussions, thank you.