mit-license

一个可扩展的协作式笔记记录、维基和文档平台，基于Django和React构建。

一款快速、简洁、响应式Hugo主题。

Cocos通过免费、开源、跨平台的游戏引擎Cocos Creator，简化了游戏的创作与分发。它赋能数百万开发者，助力其打造高性能、引人入胜的2D/3D游戏及即时网络娱乐内容。

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

Hugo 个人网站与博客主题

使用 Zig 语言开发的像素画编辑器

Bookworm Light 是一款功能丰富、极简、高度可定制且易于使用的 Astro 博客主题。