ica

基于ROS的框架和RPi镜像，用于控制PX4驱动的无人机 🍀

专注于隐私的AI会议笔记工具，采用本地托管的小型语言模型驱动。用于生成结构化临床笔记的StenoAI Med版本即将推出。

用于JADX-AI插件的MCP服务器

KiCAD 10 的 AI 辅助 PCB 设计。原生 KiCAD 插件 — 单个 Rust 二进制文件，向 Claude 或您选择的法学硕士公开 217 个原理图、布局、布线、布局、设计审查和制造工具

APALACHE：TLA+和Quint的符号模型检查器

潜行于你的系统之中。Ante 是一个自包含的智能体框架，拥有高度优化的核心。它像 Claude Code 或 Codex 一样工作，但没有它们的依赖项或模型限制。

App Group 让您能够整理、自定义并启动您的应用程序。

开源的公司操作系统。

OneSignal是面向移动应用的免费推送通知服务。该插件可轻松将原生iOS应用与OneSignal集成。https://onesignal.com

密度泛函工具包

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

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

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

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

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

数学优化问题的数据结构

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.

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

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

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

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

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

一款 Rust 验证工具