A powerful, feature-rich Markdown editor with real-time HTML preview.
DownSmith provides an intuitive editing experience with comprehensive formatting tools, syntax highlighting, live preview, table creation, spell checking, footnotes, HTML export, and intelligent image handling. Runs without Java being installed on Windows. On macOS and Linux requires Java 11 or better installed. A Java 8 version is provided that has all the functionality of the Java 11 version except footnotes.
Write, check, index and diagram Z specifications in Microsoft Word.
Tools to allow Z specifications to be written in Microsoft Word. Includes a unicode font for Z symbols. Provides: WYSIWYG editing fully integrated into Word; Typechecking using fuzz (for Spivey Z) or CZT (for ISO standard Z); Indexing and cross-referencing; Diagrams of specification structure; Conversion from Spivey to Standard Z- also available as a stand-alone program and Java class for non-windows users. See project website for details.