程序员友好的 Golang ORM， 具有高易用性：全功能 ORM；关联 (has one，has many，belongs to，many to many，多态，单表继承)； Create，Save，Update，Delete，Find 中钩子方法；支持 Preload、Joins 的预加载； 事务，嵌套事务，Save Point，Rollback To ...

微软开发的一种类似电子表格公式的低代码通用编程语言

HStreamDB 是一款专为流式数据设计的， 针对大规模实时数据流的接入、存储、处理、分发等环节进行全生命周期管理的流数据库。它使用标准 SQL (及其流式拓展）作为主要接口语言，以实时性作为主要特征，旨在简化数据流的运维管理以及实时应用的开发。

HStreamDB 是一款专为流式数据设计的， 针对大规模实时数据流的接入、存储、处理、分发等环节进行全生命周期管理的流数据库。它使用标准 SQL (及其流式拓展）作为主要接口语言，以实时性作为主要特征，旨在简化数据流的运维管理以及实时应用的开发。

LEARN YOU A HASKELL FOR GREAT GOOD 中文版。Haskell是一种标准化的、通用纯函数式编程语言，有非限定性语义和强静态类型。

Haskell是一种标准化的、通用纯函数式编程语言，有非限定性语义和强静态类型。LEARN YOU A HASKELL FOR GREAT GOOD 中文版

Clojure是Lisp编程语言在Java平台上的现代、动态及函数式方言。 与其他Lisp一样，Clojure视代码为数据且拥有一套Lisp宏系统。 其开发过程当前由社区驱动， 其作者里奇·希基则以终身仁慈独裁者的身份进行监督。 Clojure提倡不可变性与持久数据结构并鼓励程序员显式地管理标识及其状态。

程序员友好的 Golang ORM， 具有高易用性：全功能 ORM；关联 (has one，has many，belongs to，many to many，多态，单表继承)； Create，Save，Update，Delete，Find 中钩子方法；支持 Preload、Joins 的预加载； 事务，嵌套事务，Save Point，Rollback To ...

Excelize 是 Go 语言编写的用于操作 Office Excel 文档基础库，基于 ECMA-376，ISO/IEC 29500 国际标准。可以使用它来读取、写入由 Microsoft Excel™ 2007 及以上版本创建的电子表格文档。支持 XLSX / XLSM / XLTM / XLTX 等多种文档格式，高度兼容带有样式、图片(表)、透视表、...

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