Guabao is a programming environment encouraging the methodology that a program and its correctness proof should be developed hand in hand, and that how a program should be proved could sometimes give hints how the program can be written.
Guabao uses a variation of Edsger W. Dijkstra's Guarded Command Language. However, Guabao is also an environment built into an editor.
For more info and documentation, see the homepage.
The Name. GUA in Guabao comes from GUArded command language. Guabao (刈包) is a street food popular in places including Taiwan, where Guabao the software was designed.
- Guabao Homepage: https://scmlab.github.io/guabao/
- Frontend Code Repository: https://github.com/scmlab/gcl-vscode
- Backend Code Repository: https://github.com/scmlab/gcl