全部收录项目

Oxyde ORM 是一个类型安全、以 Pydantic 为核心且具备高性能 Rust 核心的异步 ORM，旨在实现清晰度、速度与可靠性。

适用于高性能网络服务器的 C/C++ 协程轻量级线程库（类似 goroutine）。

强大的 AI 小说创作网站

Twitch Android 移动应用程序的修改版，新增 BetterTTV、FrankerFaceZ 与 7TV 表情符号

Go 语言的线程安全文件锁定库

动态修补 WSL2 以在任何介面上监听连接埠。

TexTeller 可以更高准确度将图片转换为 LaTeX 公式（image2latex、LaTeX OCR），并展现出优异的泛用能力，足以涵盖多数使用场景。

功能多样的微生物组分析开源工具

欧洲数字身份钱包

适用于 Hugo 的 Gallery 主题

Seed-Coder 是由字节跳动 Seed 开发的一系列轻量级开源代码 LLMs，包含基础、指令与推理模型。

适用于 nginx 的 LDAP 验证模块

用于 Rodauth 验证框架的 Rails 整合

给定学术 PDF，提取其中的图表、表格、图说与章节标题。

网页库存工具，使用 Pyppeteer（无头 Chrome/Chromium）截取网页截图，并提供一些额外功能让生活更轻松。

在 Service Mesh 中管理任何 Layer-7 协议。

适用于 DotNet 的非官方 OpenAI RESTful API 客户端。

IOIO - I/O for Android 的软件、固件与硬件。

😎 自动将 User-Agent 替换为随机生成的浏览器插件

一个为 Unity 设计的去中心化音频播放系统，追求简单易用且具备可扩展性！

适用于 Medium、Blog、Youtube、BiliBili 等平台的优秀封面图片生成工具

轻量级 React 组件，使用 CSS 过渡效果来实现高度动画。可将元素向上/向下滑动，并动画至任何指定高度。

Microsoft Outlook Fluent Web API 协议注册工具（纯协议，无浏览器依赖）

通过网络托管 Shiny 应用程序。

HiddenEye Reborn 以比以往更好的状态回归，从头重写并适应现代世界

自托管协作浏览器 - n.eko 的房间管理

MicroPython 工具 - 用于通过串口连接与 MicroPython 开发板交互的实用程序。

一些在 Rust 中的小型学习项目

课程笔记

HOL4 定理证明系统的标准来源。develop 分支是“主线开发”发生的地方；当 develop 通过回归测试时，master 会向前合并以进行同步。