ca

动态插桩工具平台

面向多种内核数据包捕获机制的LIBpcap接口

Symfony 的 Docker 化安装与运行时环境。安装方式：下载后执行 `docker compose up`

易于使用、100%开源的学习管理系统

全球最强大的开源数据目录，用于构建高性能、地理分布式和联邦式元数据湖。

一款用于集成和测试SheerID验证流程的轻量级工具。它简化API请求，处理响应，并支持学生等项目的资格检查。

一款用于实时追踪Claude AI使用限额的macOS原生菜单栏应用，基于Swift/SwiftUI构建。

这款 macOS 应用程序可用于模拟或伪造您的 iOS、iPadOS 或 iPhone 模拟器设备位置，部分支持 WatchOS 和 TvOS。

一款轻量级的Wayland通知守护进程。

一个用于轻松运行幻兽帕鲁专用服务器的Docker容器。

禁用安卓签名验证

MirageOS 是一个构建单内核的库操作系统

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

Kani Rust Verifier

Dart语言设计

基于网页命令行的硬件渗透工具 支持全协议通信

嵌入式模板库

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

安卓天气应用 🌦🌞☔

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

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

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

面向师生群体的免费实操数字取证实验

一个用于视觉惯性导航研究的开源平台。