form

面向新一代数值计算软件的符号编程框架

用于下载三星移动设备固件的跨平台工具。

Scala代码格式化工具

完整Terraform课程的配套代码库

高性能数据存储解决方案

🔍 专为Kali Linux精选的开源情报与侦察工具包 — 包含100多种工具、一键安装，覆盖社交情报、地理情报、网络侦察、暗网、取证等领域。

使用Zig开发的像素画编辑器。

🌿 基于纯 Vim 脚本编写的通用异步树状查看器

使用 Zig 语言开发的像素画编辑器

免费的Windows、Mac和Linux清理工具、扫描工具及更多功能。

Model Context Protocol 服务器与客户端的官方 Kotlin SDK。与 JetBrains 协作维护。

一个跨平台应用生态系统，将iMessage带至Android、PC以及Web平台。

TerraGoat是Bridgecrew公司“设计上存在漏洞”的Terraform代码库。它是一个用于学习和培训的项目，展示了常见的配置错误如何进入生产云环境。

IntelliJ SDK 平台文档

本仓库是为 DevOps 社区提升技能而设的挑战项目，将其公开是为了让更多人能从社区中学习并共同成长。

为E2B云提供动力的基础设施。

配置规范化 GKE 集群

Cloudflare Terraform 提供商

ASR/STT字幕生成器。采用Qwen3-ASR、本地LLM、Whisper、TEN-VAD技术，具备针对JAV场景的噪声鲁棒性

Terrateam 是开源的 GitOps 基础设施编排工具，通过与 GitHub 集成，可基于拉取请求自动执行 Terraform、OpenTofu、CDKTF、Terragrunt 及 Pulumi 的工作流程。

特意将乡村信息系统设计为开源项目，以便关心乡村信息系统的社区能够共同参与开发

一款专为Markdown、JSON、YAML和TOML文件设计的快速轻量级文本编辑器。采用Rust语言与egui框架构建，提供原生响应式体验。

强大易用的内容管理系统，用于构建网站、博客或电子商务商店

Anserini是一个用于可复现信息检索研究的Lucene工具包。