An online editor for creating, editing, and printing formal Z-notation documents using Prosemirror and React.
Z-Editor is an online tool for creating, editing, and printing formal Z-notation documents. It provides a structured editor with a toolbar for various Z notations, allowing users to work with schemas, logics, sets, and more. The tool supports importing and exporting files, making it easier to manage formal specifications in software development.
Software engineers, academics, and developers working with formal methods who need to write or edit Z-notation specifications.
Developers choose Z-Editor for its specialized focus on Z-notation, offering an intuitive web-based interface with Prosemirror integration for visual schema creation and rich text utilities, simplifying formal documentation.
Online Z-notations Editor with Prosemirror and React.js
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
Includes schemas, logics, sets, relations, functions, sequences, and bags, covering all core Z elements for easy insertion and editing.
Uses Prosemirror blocks to create iconic schemas, making formal specifications more intuitive and readable compared to plain text.
Supports importing .z files to continue work and exporting to PDF or .z format, ensuring workflow portability and sharing.
Simple setup with git and yarn allows quick local deployment, and the online demo provides instant access without installation.
Future plans mention adding page breaker lines, indicating current PDF export lacks advanced formatting controls for professional documents.
The README notes a need to improve unit tests, suggesting the codebase may not be fully vetted for robust, production-grade use.
Absence of real-time editing or version control integration makes it less suitable for team-based projects or synchronous work.