​高性能的 Markdown 编辑器 Mark Text

码农软件 · 软件分类 · Markdown开发包 · 2019-10-09 15:59:43

软件介绍

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 modeTypewriter modeFocus mode

此外,这款编辑器还内置斗图功能,通过快捷键 Cmd+/ 直接打开斗图搜索面板,你需要的有趣图片就在里面。

本文地址:https://www.codercto.com/soft/d/16388.html

从规范出发的程序设计

从规范出发的程序设计

[美] Carroll Morgan / 裘宗燕 / 机械工业出版社 / 2002-8 / 45.00元

本书详细论述了有关规范程序设计的内容,包括:程序和精化、谓词演算、选择、迭代、构造类型、模块和封装等,最后几章还包含了大量的实例研究和一些更高级的程序设计技术。本书提倡一种严格的程序开发方法,分析问题要用严格方式写出程序的规范,而后通过一系列具有严格理论基础的推导,最终得到可以运行的程序。 本书是被世界上许多重要大学采用的教材,适于计算机及相关专业的本科生和研究生使用。一起来看看 《从规范出发的程序设计》 这本书的介绍吧!

HTML 压缩/解压工具
HTML 压缩/解压工具

在线压缩/解压 HTML 代码

HTML 编码/解码
HTML 编码/解码

HTML 编码/解码

URL 编码/解码
URL 编码/解码

URL 编码/解码