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

FastText 是一个用于高效学习单词表示和句子分类的库。

一个基于 Virtual DOM 的类 React 组件框架。

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

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

Go实战开发，尝试在golang中完成100多个不同类别的项目。

FastAPI 是一个用于构建 API 的现代、快速（高性能）的 web 框架，使用 Python 3.6+ 并基于标准的 Python 类型提示。

FastAPI 是一个用于构建 API 的现代、快速（高性能）的 web 框架，使用 Python 3.6+ 并基于标准的 Python 类型提示。

FastAPI 是一个用于构建 API 的现代、快速（高性能）的 web 框架，使用 Python 3.8+ 并基于标准的 Python 类型提示。

一个类Jira的问题需求跟踪工具，前端基于reactjs＋redux、后端基于php laravel-framework