Hacker News Reader

jayaprabhakaron Show HN: FizzBee – Formal methods in Python

I agree, the body of the action and functions are Python, actually starlark (a subset of python). I'll update the description.

jayaprabhakaron FizzBee: Open-source formal methods tool that's not hard

Formal methods like TLA+ use complicated language making it unsuitable for everyday distributed applications most developed build. FizzBee is a formal language that's almost just Python. https://github.com/fizzbee-io/fizzbee

jayaprabhakaron Show HN: Codiva Online Java IDE for Students

I built this after trying out many other online compilers and IDEs for Java.

The target audience are, 1. Students and teachers 2. Practicing for interviews

This is in early stage, I need more feedback on how to improve this.