rqlite，一个使用Go语言开发的轻量级的分布式数据库，它使用SQLite作为后端存储引擎，可以通过HTTP API进行访问，具有高可用性和可扩展性。

这个教程比较好的地方是，能讲解每一段代码的含义。 虽然PyQt的函数命名已经非常语义化了，但是对于新手来说，有这一步还是更好的。

NutsDB是纯Go语言编写一个简单、高性能、内嵌型、持久化的key-value数据库。

Element 开发团队宣布推出 Element Plus 首个 Beta 版本，官方表示 Element Plus 是 Element 对 Vue 3.0 的升级适配。Element Plus 是首个使用 TypeScript + Vue 3.0 Composition API 重构的组件库。由于 Vue 3.0 进行了大版本升级，Element 作为其生...

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

CleverGo 一个用 Go 语言编写的轻量级、高性能和功能丰富的 HTTP Web 开发框架。

致力于开发轻量化、语义化、扩展性强的Web UI框架

这是一套深入探讨 JavaScript 语言核心机制的系列丛书《你不懂JS：ES6与未来》

Liquid 由微众银行区块链团队开发并完全开源，是一种嵌入式领域特定语言（ embedded Domain Specific Language，eDSL），能够用来编写运行于区块链底层平台FISCO BCOS的智能合约。

北极星是一个支持多语言、多框架的云原生服务发现和治理中心，解决分布式和微服务架构中的服务可见、故障容错、流量控制和安全问题。