高性能的 Markdown 编辑器 Mark Text
- 授权协议: MIT
- 开发语言: JavaScript HTML/CSS
- 操作系统: 跨平台
- 软件首页: https://github.com/marktext/marktext
- 软件文档: https://github.com/marktext/marktext/blob/master/doc/i18n/zh_cn.md#readme
- 官方下载: https://github.com/marktext/marktext/releases
软件介绍
Mark Text 是一款高性能的 Markdown 编辑器,基于 Electron 构建,运行于 Mac、Windows 和 Linux 平台。具有简洁的外观和流畅的运行。
特性
Mark Text 所输及所见,摒弃了众多 markdown 编辑器左边写作右边预览的写作方式,巧妙的将编辑和预览融为一体。
使用 snabbdom 作为 Mark Text 的渲染引擎,保证了极速渲染编辑页面,带来流程的书写体验。
支持 CommonMark Spec 和 GitHub Flavored Markdown Spec 语法格式,生成的 Markdown 可以复制到任何支持 markdown 格式的社区、网站。
段落及行内样式快捷键提升您的编辑效率。
输入 HTML 和 PDF 格式文件,方便在浏览器中预览。
黑、白两款主题,自由切换。
多种编辑模式:Source Code mode、Typewriter mode、Focus mode。
此外,这款编辑器还内置斗图功能,通过快捷键 Cmd+/ 直接打开斗图搜索面板,你需要的有趣图片就在里面。
从规范出发的程序设计
[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元
本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等,最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材,适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!
