jayaprabhakar

5 ms·

31.
by jayaprabhakar 3y ago
Thank you. Please let me know how it goes. Also, I can work with you on modeling it if you need - I'll want to see where the language design is causing the issue
32.
by jayaprabhakar 3y ago
No, there's no code generation. In that sense, it's more like TLA+. The code generation is not in the plan, at least, not for the next couple of years until a few prerequisites happen that's not in my control. The primary rea
33.
by jayaprabhakar 3y ago
Yes, that's the intended goal. To do everything tla+ does (behavioral modeling) but not stop there. The second biggest area that's missing in tla+ but indispensable is performance modeling that will be integrated. (PRISM model c
34.
by jayaprabhakar 3y ago
I agree, the body of the action and functions are Python, actually starlark (a subset of python). I'll update the description.
35.
Show HN: FizzBee – Formal methods in Python(fizzbee.io)
119 points by jayaprabhakar 3y ago|23 comments
36.
by jayaprabhakar 3y ago
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&#
37.
FizzBee: Open-source formal methods tool that's not hard(fizzbee.io)
2 points by jayaprabhakar 3y ago|1 comments
38.
by jayaprabhakar 9y ago
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.
39.
Show HN: Codiva Online Java IDE for Students(codiva.io)
4 points by jayaprabhakar 9y ago|1 comments