GitBlog是一个简单易用的Markdown博客系统，它不需要数据库，没有管理后台功能，更新博客只需要添加你写好的Markdown文件即可。它摆脱了在线编辑器排版困难，无法实时预览的缺点，一切都交给Markdown来完成，一篇博客就是一个Markdown文件。同时也支持评论，代码高亮，数学公式，页面PV统计等常用功能。GitBlog提供了不同的主题样式，你...

这是一本不同寻常的Common Lisp入门书。本书首先从作者的学习经过及语言历史出发，随后用21个章节讲述了各种基础知识，主要包括：REPL 及Common Lisp 的各种实现、S- 表达式、函数与变量、标准宏与自定义宏、数字与字符以及字符串、集合与向量、列表处理、文件与文件I/O 处理、类、FORMAT格式、符号与包，等等。而接下来的9 个章节则翔实地...

这是一本不同寻常的Common Lisp入门书。本书首先从作者的学习经过及语言历史出发，随后用21个章节讲述了各种基础知识，主要包括：REPL 及Common Lisp 的各种实现、S- 表达式、函数与变量、标准宏与自定义宏、数字与字符以及字符串、集合与向量、列表处理、文件与文件I/O 处理、类、FORMAT格式、符号与包，等等。而接下来的9 个章节则翔实地...

Scala是Twitter使用的主要应用编程语言之一。很多我们的基础架构都是用scala写的，我们也有一些大的库支持我们使用。虽然非常有效, Scala也是一门大的语言,经验教会我们在实践中要非常小心。 它有什么陷阱？哪些特性我们应该拥抱，哪些应该避开？我们什么时候采用“纯函数式风格”，什么时候应该避免？换句话说：哪些是我们发现的，可以高效地使用这门语言的地...

Agda，一种依赖类型编程语言/交互式定理证明器。

Vue.js进阶学习课程，以命令行的方式开发您的应用程序。

有别于Nutz官方手册的指南,以向导式的编排引导用户入门

CrateDB 是一个分布式 SQL 数据库，可以轻松地实时存储和分析大量机器数据。

TBase 是腾讯数据平台团队在开源的 PostgreSQL 基础上研发的企业级分布式 HTAP 数据库管理系统

Lumen 算是一个精简版的 Laravel，针对速度优化了框架的加载方式, 多余的功能需要自行开启。