high-performance

通过 Web 前端构建更小、更快、更安全的桌面与移动应用程序

一个用Rust编写的开源支付交换系统，旨在实现快速、可靠且经济实惠的支付处理。

高性能可观测性数据管道。

光 HikariCP・最终实现的稳健高性能JDBC连接池

Ceph是分布式对象、块和文件存储平台

一款快速、简洁、响应式Hugo主题。

一个用于构建和运行具备弹性、敏捷性和韧性应用的平台。提供软件开发工具包、程序库及托管环境。

基于现代C++的通用任务并行编程系统

一个极速的JSON序列化与反序列化库

用于高性能协议服务器与客户端的非阻塞事件驱动型网络应用框架。

HAProxy负载均衡器开发分支（git.haproxy.org镜像）

🚄 FASTJSON2 是一款性能卓越的Java JSON库。

cuda-oxy 是一个 Rust 到 CUDA 的编译器，可让您使用安全（ish）、惯用的 Rust 编写（SIMT）GPU 内核。它将标准 Rust 代码直接编译为 PTX——没有 DSL，没有外语绑定，只有 Rust。

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

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

线性优化软件

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

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

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

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

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

图形处理器分子动力学

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

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