it

按不同仓库组织的所有Rocq和Coq相关opam包存档

适用于 macOS 和 Windows 的漂亮的原生 Markdown 查看器和轻量级编辑器。 ~8MB，免费，开源。

Neovim Neotest 插件的 Vitest 适配器

找到你理想的GSoC 2026组织——根据你的技术栈、编程语言和领域筛选全部184个入选组织，无需安装任何软件

在GitHub Actions工作流中运行HashiCorp Packer

Centreon是一款网络、系统和应用程序监控工具。

面向小型生产环境的SaaS入门套件——采用.NET 10清洁架构API与SvelteKit前端，完全容器化。克隆后初始化即可快速部署产品

一个使用Vue.js和Vuetify构建的个人主页，可轻松部署于Vercel平台。

300个离线HTML游戏，每个游戏均为单个文件

新一代开源Altinn平台及应用系统

快速、可扩展的桌面翻译套件。翻译、OCR、TTS、拼写检查 — 使用插件系统。

Chisel RISC-V 向量 0 实现

创建一个或多个服务账户并授予其基本角色

基于eBPF的Linux内核内Sigma规则引擎

可定制生日网页模板是一款多功能且用户友好的网站模板，旨在以趣味化和个性化方式庆祝生日。

生成一个兼容OS Login和IAP隧道的中转主机虚拟机，可用于访问内部虚拟机。

Gin框架官网及文档

基于Svelte/Tailwind构建的Bento风格网站，数据托管于您的Bluesky PDS

OCamlPro 为 Alt-Ergo 设立的公共开发仓库

基于Vue.js构建的可视化浏览ActivityWatch数据的Web应用程序。

量子开源基金会门户网站

适用于树形解析器的HCL语法定义

在 Android 上运行的 AI 编程 Agent，内置 Linux 终端与代码编辑器，支持 MCP 协议扩展。

Galaxy社区中心