t

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

wolfSSL库是一个小型、快速、可移植的TLS/SSL实现，适用于从嵌入式设备到云端的各种场景。wolfSSL支持最高TLS 1.3和DTLS 1.3协议！

用于 Clojure 的快速 HTML 渲染库

一个自动化服务器生命周期的应用程序

嵌入式模板库

用于Elixir的多维数组（张量）与数值定义。

KEJILION.SH 全功能Linux管理脚本！一体化Linux管理工具！

让密码和其他敏感信息远离您的收件箱和聊天记录。

zenoh 统一了动态数据、使用中数据、静态数据及计算任务。

一款使用 Tauri、React 和 TypeScript 构建的现代视频编辑器，专注于实现剪映高级功能的免费替代能力

DummyJSON.com 提供各类填充了JSON数据的REST端点，您可在使用偏好框架与库开发前端时直接调用，无需编写后端代码。

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

Xcode plug-in to to use clang-format from in Xcode and consistently format your code with Clang

In-memory message queue with an Amazon SQS-compatible interface. Runs stand-alone or embedded.

基于 Spring Boot 4.0 + Java 21 + Spring AI + PostgreSQL + pgvector + RustFS + Redis 构建，实现简历智能分析、AI模拟面试、知识库RAG检索等核心功能。项目学习门槛低，非常适合作为学习案例与简历项目。

开放网络软件（SONiC）云端登录页面 - https://sonic-net.github.io/SONiC/

一个用于处理货币与汇率转换的Ruby库。

简化专注的开源NAS操作系统

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

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

学习运用大语言模型、智能体、检索增强生成、微调、大语言模型运维与人工智能系统技术，构建你的第二大脑AI助手。

采用Rust编写的功能丰富的iOS/tvOS侧载应用程序，目前仍在开发中。

开源漏洞数据库和分诊服务。

为 Bitwarden® 平台和 KeePass (KDBX) 打造的替代客户端，旨在提供尽可能最佳的用户体验。