performance

26.2 轻量级Minecraft服务器

开源工具，可从头构建Windows脚本，包含系统精简、隐私保护、性能优化及应用程序安装脚本

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

Zerocopy让零成本内存操作变得轻而易举。我们编写`unsafe`代码，这样您就不必了。

基于Lighthouse和核心网页指标的智能体技能，用于优化网页质量。

iOS 应用调试增强工具包 🚀

用于存放webpack文档及其他资源的代码库

一款轻量级、无依赖的bash脚本，用于Linux服务器的安全审计、性能评估和基础设施监控。

一个轻量级、稳定且注重性能的Windows定制版本，增强隐私性和兼容性

一款轻量级、快速且可靠的 tun2socks

线性优化软件

面向LLVM与MLIR的高性能自动微分框架。

使用Java/Scala构建高并发、分布式且具备容错能力的消息驱动型应用程序

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

支持HTTP/1.1、HTTP/2、Websocket等协议的Erlang/OTP客户端

CUDA内核基准测试库

用于NAT穿透的闪电般快速的反向隧道解决方案，针对处理海量并发连接进行了优化，支持tcp、tcpmux、udp、udp over tcp、ws、wsmux、wss和wssmux。

图形处理器分子动力学

适用于.NET的Sentry SDK

高性能常微分方程与微分代数方程求解器，包含神经常微分方程及科学机器学习组件

为使用 Erlang VM (BEAM) 上运行的系统的开发人员提供的工具。它有助于性能分析。

快速且内存高效的模拟库

面向嵌入式优化的基础线性代数子程序

专为Claude Code设计的插件套件及捆绑MCP服务器。涵盖完整交付生命周期：支持多模型AI评审的敏捷流水线、项目初始化、文档生成、代码库审计、性能优化及社区工作流。包含hex-line（哈希验证编辑）、hex-graph（代码知识图谱）与hex-ssh（远程SSH）MCP服务器。