全部收录项目

用于检查俄罗斯网络封锁情况的网站

利用 LLM 强化你的命令行，并在 Fish 中获得 Shell 脚本编写协助。

jMetal：用于元启发式多目标优化的框架

LLM algorithm practice lab with theory, solutions, and test cases.《大模型算法与系统教程》面向大模型入门到进阶的算法实战教程，覆盖原理讲解、答案解析、测试用例与 CUDA/Triton 实战。

通过右键菜单访问 Firefox 内建的阅读模式

开源运行时 AI Agent 安全工具，可实时监控并控制 AI Agent，在 Agent 执行动作前拦截恶意工具使用、提示词注入及策略偏移。

论文“DoLa: Decoding by Contrasting Layers Improves Factuality in Large Language Models”的官方实现

用于播放音效的 Vue Composable

让 AI 驱动 Unity，从编辑器到运行模式。

使用 llama.cpp 进行嵌入式向量搜索与语义嵌入的 Go 库。

yt 主仓库。

为 Astro 项目提供的无障碍组件集合，内置 ARIA 属性、键盘导航与交互元素。易于实现并可根据需求自定义。

由女性制作的技术频道或课程列表

一个交互式应用程序，带领用户了解 LLM 流水的每个阶段，从模式匹配到从零开始训练 Transformer，并提供可在本地运行的代码。

将成功/失败响应建模为密封类型 (Sealed Types) 的 Retrofit 调用适配器。

.NET 与 Mono 的混淆器，具备可自定义引擎以构建专属混淆器。

易于使用且高性能的 3D Gaussian splats 查看器。

适用于 Unity uGUI 的简易 UI 布局系统。

适用于 Android 与 Jetpack Compose 的 RevenueCat SDK，提供简便的应用程序内购买与订阅功能。

Angular 的动态组件，支持完整的输入与输出生命周期

原生 Qt AES 加密类

适用于 Go 应用程序的简易内部事件总线。

用于 CrowdSec 安全堆栈的网页与移动管理界面及仪表板，整合 Pangolin 并支持多种代理（如 caddy、NPM 等）。此项目以 Go 与 React 构建的现代化、用户友好的 ShadcnUI 取代了原有的 bash 脚本。

Jonathan Shewchuk 的 Triangle 网格生成器的 C# / .NET 版本。

Spring Web Services - SOAP 与 RESTful

将 reMarkable2 作为视觉 LLM（ChatGPT、Claude、Gemini）的接口。机器中的幽灵！

用于 HPC 系统子节点任务的友好调度器

PM2 WebUI。PM2 Plus 的开源替代方案，极简应用程序管理器与日志查看器

此仓库为 Proof General 的新家。