codac:Codac是一个库提供用于对实数轨迹和集合进行约束编程的工具 源码

MathLive是一个用于渲染和编辑数学公式的Javascript库 ,mathlive是一个JavaScript库来渲染和编辑数学。 它速度快,体积小,并提供了一个易...

g是一个Linux、macOS、Windows下的命令行工具,可以提供一个便捷的多版本go环境的管理和切换

BenchmarkDotNet是一个用于基准测试的强大.NET库

iText是用于生成PDF文档的一个java类库。通过iText不仅可以生成PDF或rtf的文档，而且可以将XML、Html文件转化为PDF文件。

AssemblyLine是一个用于轻松编写工作流程的库

DeeR是一个用于强化学习框架的Python库。它的构建考虑到了模块化，因此可以很容易地适应任何需要。它提供了许多可能性默认项（优先体验重播，双Q学习，等等）。还提供了许多不同的环境范例（它们中的一些

MLDB是一个用于机器学习的开源数据库。你可以随意安装它，并通过RESTfulAPI发送命令以存储数据，使用SQL探索它，然后训练机器学习模型并将它们作为APIs公开。

ocaml-graphql-server是一个用于创建GraphQL服务器的库

Voca是一个用于操作字符串的Javascript库。特点提供完整的函数集来操作格式化、转义和查询字符串文档详细，易于阅读，可搜索支持各种环境：Node.js。

Zeu.js 是一个 JavaScript 库，其中包含一系列预构建的可视化组件，用于构建实时 TV 仪表板，监控 UI 和物联网Web界面。