ca

信息系统映射 / 信息系统制图

面向科学机器学习的化学反应网络与系统生物学接口。开源软件中的高性能、GPU并行化及O(1)求解器。

免费的macOS菜单栏应用，用于可视化并清理开发者缓存（Xcode、node_modules、CocoaPods、SPM、Docker、pip、Cargo），即刻回收磁盘空间。

KaRaMeL 是一款将底层 F* 程序提取为可读 C 代码的工具

SkyHanni是一款针对Hypixel SkyBlock的Minecraft模组

免费自动驾驶技术栈——完全开源的ADAS与自动驾驶系统

Jackson的附加模块，用于支持Scala特定数据类型

发现并使用自由开源软件替代专有应用程序

面向高阶用户的成人直播流下载工具，本可以取个更恰当的名称。

一款面向本地音乐库的开源播放器，具备同步歌词、主题皮肤与插件支持功能。

别只当个复刻者🔱……点亮那颗🅂🆃🄰🆁⭐…………( ͡° ͜ʖ ͡°)-︻デ┳═ー－－－－－－－💥¦̵̱ ̵̱ ̵̱ ̵̱ ̵̱(̢ ̡͇̅└͇̅┘͇̅ (▤8כ−◦我的主页…………国际象棋♟️ ◉═╬::::::::::::::::::::::::::::::::::::⫸♚ ♛ ♜ ♝ ♞ ▓▒░🔴连接圆点🟡░▒▓ 🌈☁️词云 ≡͇͇͇͇͇҈҈҈҈≡͇͇͇͇͇͇͇͇͇͇҈҈҈҈≡͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇҈҈҈҈≡͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇҈҈҈҈≡͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇͇҈҈҈҈≡͇͇͇͇͇͇

适用于锂离子电池、SOC EKF、热管理、电源转换器和网格形成/网格跟随 BESS 控制的开放、可运行 MATLAB 和 Simulink 参考模型 - 具有可重复的检查。

数学优化问题的数据结构

Wolfram 语言 / Mathematica 的 Rust 重实现项目

KaliGPT: an Agentic AI (built with Gemini, ChatGPT, Ollama, OpenRouter Models) fine tuned for ethical hackers & students in offensive security making workflows smarter, faster, and more accessible.

Automated book download manager for Usenet. Monitor authors, search indexers, download via SABnzbd, and organize your library. The modern replacement for Readarr.

ROHD框架是基于Dart编程语言的硬件描述与验证框架

一款适用于macOS的现代、轻量级Markdown编辑器。

一款极简风格的Jekyll主题，适用于基于Jekyll和GitHub Pages运行的博客或出版物平台。

AWS Amplify Hosting 提供基于 Git 的工作流，用于部署和托管全栈无服务器 Web 应用程序

一款开源轻量级电子邮件客户端

一款惊艳的、本地化的通用AI代理，适用于Android、iOS和Mac。| Aether 扶摇

暂无项目描述

一款 Rust 验证工具