t

CORE-V CVA6是高度可配置的6级RISC-V处理器核心，适用于应用级和嵌入式场景，应用级配置支持启动Linux

用于 Clojure 的快速 HTML 渲染库

Dart语言设计

自学习智能体的上下文数据平台。为智能体提供存储、观察与学习的统一场所。旨在简化上下文工程，提升智能体可靠性与任务成功率。

LichtFeld工作室：现实与数字世界的交融之处

嵌入式模板库

通过语言服务器协议提供官方Haskell集成开发环境支持

用于量子抗密码学原型设计和实验的C语言库

基于SteamKit2库的Steam存储文件下载工具

用于从数百个源下载数千个电视频道电子节目指南的实用工具

EspoCRM – 开源客户关系管理应用

Agent Skills 终极指南：快速入门、资源推荐、精选技能与工具集合

快速、免费且可自定义的图片查看器

Apache CloudStack 是一款开源的基础设施即服务（IaaS）云计算平台。

适用于Windows的开源远程管理工具C#版本

一款适用于Android的轻量级键盘

PlayStation 2 静态重编译器与运行时工具，用于制作原生 PC 移植版本。

🔥 GitHub 个人资料徽章与成就完整清单 🔥

使用IP-Tracer追踪任意IP地址。IP-Tracer专为Linux和Termux开发，您可以通过它获取任何IP地址的信息。

采用 Flutter 开发的移动版 SpotiFLAC，由高性能 Go 后端驱动。可从 Tidal、Qobuz 和 Amazon Music 下载真正的 FLAC 格式 Spotify 曲目——无需账户、无广告、无订阅。

适用于 iOS、Mac Catalyst、macOS 和 tvOS 的 .NET 提供 Apple SDK 的开源绑定，可与 C# 等 .NET 托管语言配合使用

🎈🎈🎈🎈年会抽奖程序，基于threejs与vue3的3D球体动态抽奖应用。

🎨 受谷歌 Material Design 启用的明暗双色 Vim 配色方案

Agda是一种依赖类型编程语言/交互式定理证明器。