Projects in Awesome Lists tagged with z-notation
A curated list of projects in awesome lists tagged with z-notation .
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/luisespino/erz
Generator of Formal Software Specifications that Converts an Entity-Relationship Diagram to Z Notation.
entity-relationship-models software-specifications z-notation
Last synced: 01 Aug 2025
