is

计算代数数论

通用核心本体库存放着通用核心本体套件的当前发布版本。

LinearSolve.jl：Julia线性求解器高性能统一接口，可在因子分解法与Krylov方法间自由切换，支持预条件器集成

一款功能强大、一体化的Discord助手，专为每个服务器打造。🛠️

openclaw.ai 官方网站

一款具备图形界面的应用程序，允许用户通过“framework-system”和“inputmodule-rs”控制Framework笔记本电脑的嵌入式功能。未来可能会添加其他嵌入式控制器功能。

Apache APISIX Helm 图表

Cloud Cost Optimization Hub 是一个开源自托管平台，可跨 AWS、GCP 和 Azure 提供统一的成本可见性和可行的建议。功能包括多云成本聚合、规模调整建议、空闲资源检测、成本异常警报和直观的仪表板 - 所有这些都旨在帮助团队减少成本。

Hermes-Relay — 您口袋里的 Hermes AI 代理 — 聊天、语音和控制。

动画优先的CSS框架，包含可复用的UI组件、现代特效，且零依赖。轻量级、对新手友好、开源。

Datadog iOS 版 SDK - 支持 Swift 和 Objective-C。

面向动态概率编程的领域特定语言实现

解锁《收获日2》中所有现有的DLC内容

一个易于自定义且自动更新的Discord主题

Julia语言的栅格数据处理

面向聊天、RAG、计划、MCP工具及智能体的AI客户端，支持多提供商模型。

Julia中可扩展的符号-数值集合计算

直接从终端诊断AWS成本，检测闲置资源，并优化云支出。🩺 ☁️

一个快速、安全且直观的DataFrame库。

超轻量级AI驱动大数据中心 | 至轻云-超轻量级智能化大数据中心/数据中台

C语言静态分析框架

适用于“FOM应用科学大学”学期论文、学士或硕士论文的LaTeX模板

Local-first dictation for macOS. Speak, text, done. Parakeet or Whisper on your Mac, writing modes with Apple Intelligence. Free, MIT.

一款面向教育的PULP片上系统，易于理解与扩展，并提供完整的物理设计流程。