gd

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

Apache Livy 是一个开源 REST 接口，支持从任意位置与 Apache Spark 进行交互。

TiSpark 专为在 TiDB/TiKV 之上运行 Apache Spark 而构建

适用于.NET的Sentry SDK

The most powerful security toolkit for Android: without rooting your device. Run security tools like Nmap, Metasploit, and Wireshark on your Android device without voiding your warranty. Access a wide range of penetration testing tools and utilities, right from your Android phone or tablet.

数据血缘追踪与可视化解决方案

Claude 治理、风险与合规（GRC）技能：针对ISO 27001、SOC 2、FedRAMP、GDPR、HIPAA、NIST CSF、PCI DSS、欧盟AI法案、ISO 42001、ISO 27701、DORA、CSRD、印度DPDPA、CMMC 2.0、NIST AI风险、SWIFT、澳大利亚ISM、欧盟NIS2及CCPA/CPRA的专家级合规指导。基准测试97%（启用技能）对比81%（未启用技能）。

适用于 Neovim LSP 客户端的 Clangd 非规范功能扩展。请改用 https://sr.ht/~chinmay/clangd_extensions.nvim

为Neovim LSP客户端提供的Clangd非规范功能扩展，请改用https://sr.ht/~chinmay/clangd_extensions.nvim

适用于C、C++及原生应用的Sentry SDK。

信息系统映射 / 信息系统制图

为Unity开发Sentry SDK

Julia语言的栅格数据处理

免费开源应用，用于整理复古游戏、电影、电视节目和动漫收藏。追踪进度、评价最爱、创建可视化看板、与朋友分享。基于Flutter，支持Windows、Android、Linux平台。

用于在神经网络上实施逻辑规范的工具包

适用于Windows 10/11的免费Minecraft基岩版解锁工具。下载EXE文件或运行一条PowerShell命令！