Projects in Awesome Lists tagged with z-notations
A curated list of projects in awesome lists tagged with z-notations .
https://github.com/Z-Editor/Z-Editor
Online Z-notations Editor with Prosemirror and React.js
formal methods prosemirror reactjs z-notations
Last synced: 10 May 2025
https://github.com/arandilopez/z-eves
Z-EVES for linux. Probably the only place you can find it
formal-methods legacy-application linux python z-eves z-notations
Last synced: 25 Apr 2025
https://github.com/jmf-pobox/txt2tex
Converts lightweight text to LaTeX for software engineering mathematics and Z modelling.
latex state-based-models transpiler z-notation z-notations
Last synced: 27 May 2026
https://github.com/florianschanda/pzt
Python Z Tools
formal-methods latex z-notations
Last synced: 30 Mar 2025
