performance

26.2 轻量级Minecraft服务器

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

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

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

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

iOS 应用调试增强工具包 🚀

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

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

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

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

线性优化软件

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

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

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

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

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

CUDA内核基准测试库

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

图形处理器分子动力学

适用于.NET的Sentry SDK

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

快速且内存高效的模拟库

免费开源的 SQL Server 性能监控工具——32 个采集器、实时告警、图形化计划查看器、用于 AI 分析的 MCP 服务器。支持 SQL 2016-2025、Azure SQL、AWS RDS。

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