仓库档案库

YunX（云析）的官方 windows 桌面端

Apache Struts is a free, open-source, MVC framework for creating elegant, modern Java web applications

A powerful meta-prompting, context engineering and spec-driven development system that enables agents to work for long periods of time autonomously without losing track of the big picture

A collection of formalized statements of conjectures in Lean.

知らない分野を、原文にたどりつくまで芋づる式に掘る Claude Code のスキル

周润发公益免费v2ray节点订阅、翻墙、免费翻墙、免费科学上网、免费节点、免费梯子、免费ss/v2ray/trojan节点、蓝灯、谷歌商店、翻墙梯子、v2ray节点、免费节点、免费v2ray节点、最新公益免费v2ray节点订阅地址、免费v2ray节点每日更新、免费v2ray/clash/singbox节点

High-performance Markdown and MDX processing for the JavaScript ecosystem

Verilog to Routing -- Open Source CAD Flow for FPGA Research

Wiicompiled

A Repository for the translation

Read-only mirror of R source code from https://svn.r-project.org/R/, updated hourly. See the build instructions on the wiki page.

Modular hardware build system

Next generation FEniCS problem solving environment for solving finite element problems

BetterWX 补丁工具 v2

📅 A sleek and highly customizable calendar card for Home Assistant, designed for performance and a clean, modern look.

A cross-platform native terminal app optimized for agents

HistoryHub：个人多平台历史记录中心，Chrome 扩展连接本地或自托管后端，支持网页历史与 B 站观看记录。

Opensource automated insulin delivery system (closed loop)

FreeBSD ports tree (read-only mirror)