is

为Vim8和NeoVim提供的纯Vim脚本异步补全功能

超快速消息队列与流媒体服务器

InternRobotics 用于构建通用导航基础模型的开源平台

Visual Studio测试平台是为测试资源管理器和vstest.console提供支持的运行器与引擎

专为 ArchLinux 设计的 Pacman 替代工具，以用户需求为核心。

DAOS存储栈（客户端库、存储引擎、控制平面）

编辑器代码助手——与编辑器无关的AI结对编程功能

面向学术专著（如学位论文）的LaTeX模板。该模板既适用于LaTeX初学者，也适合熟练用户。

一款高度可定制且真正美观的SDDM主题

BoltzGen模型代码仓库

一个全面的古兰经资源合集

SpargeAttention：一种免训练的稀疏注意力机制，可加速任何模型推理

开源商业智能工具

📇 个人网站简易目录

Visual Pinball

🕶️一份精心整理的处理CSV文件的出色工具列表。

在Android上提升你的动态药丸/岛屿功能。

基于 sing-box 核心，此 Android 代理模块支持一键开启/关闭透明代理，专为 Android 设备设计。

ArcadeDB多模型数据库，一个支持SQL、Cypher、Gremlin、HTTP/JSON、MongoDB和Redis的数据库管理系统。ArcadeDB是首个多模型数据库管理系统OrientDB的概念分支。ArcadeDB支持向量嵌入。

在Haskell中实现高性能、流式与并发函数式编程

Daml智能合约语言

用于构建跨Slack、Microsoft Teams、Google Chat、Discord等平台的聊天机器人的统一TypeScript SDK

一个功能丰富的 Discord 终端界面客户端

一款专为练习Web应用、API、AI集成应用安全测试及安全代码审查而设计的故意存在漏洞的银行应用。它包含现实应用中常见的漏洞，是安全专业人员、开发者和爱好者学习渗透测试与安全编码实践的理想平台。