Z-Editor
Z notation editor
A tool to create and edit formal Z-notation documents with a rich text editor built on React and Draft.js.
Online Z-notations Editor with Draft.js and React.js
144 stars
7 watching
42 forks
Language: CSS
last commit: over 1 year ago
Linked from 1 awesome list
draft-jsformalmethodsreactjsz-notations
nikgraf/awesome-draft-jsRelated projects:
| Repository | Description | Stars |
|---|---|---|
 editor-js/paragraph | Provides a basic text tool for the Editor.js editor | 46 |
 drcode/zek | A Zig-based line editor for creating deeply linked notes and managing a knowledge base | 93 |
| editor-js/list | An advanced list tool for the Editor.js editor | 53 |
| editor-js/inline-code | Tool for marking and formatting code in a rich text editor | 49 |
 etozhealkhipce/editorjs-aitext | An AI-powered text tool for Editor.js | 33 |
| editor-js/table | A tool for creating tables in text editors with customizable properties and data structure. | 130 |
| editor-js/code | A code snippet inclusion tool for text editors | 76 |
| editor-js/marker | A tool for highlighting text fragments in the Editor.js text editor | 75 |
 leejaen/react-lz-editor | A React rich-text editor component with media support and multiple language support | 951 |
| editor-js/underline | A JavaScript module for adding underline text formatting to rich text editors | 19 |
| editor-js/checklist | A tool to display and manage checklist items within the Editor.js application | 58 |
 ziglang/zig.vim | A Vim configuration plugin that provides syntax highlighting and code formatting tools for the Zig programming language. | 481 |
 bzero/typstwriter | An integrated editor for the typst typesetting system. | 71 |
 yyx990803/semi | A tool that adds or removes semicolons from JavaScript code to support either style | 304 |
 yozhikm/draft-regex | Helpers for improving the functionality of a rich-text editor. | 19 |