ca

用于自动化实时数据操作的低代码工具 | 面向用户的流处理。

OCaml代码的自动格式化工具

HStreamDB 是一款面向物联网及其他领域的开源云原生流数据库，助您为实时应用现代化数据栈。

Trixi.jl：Julia中守恒定律的自适应高阶数值模拟

CORE-V系列RISC-V内核的功能验证项目

A private Certificate Authority for internal (lab) use, based on the open source ACME Automated Certificate Management Environment implementation from Let's Encrypt (tm).

caelestia-shell 移植到 KDE Plasma 6

ClassQuiz是一款类似Kahoot!的开源问答应用程序

Local Windows iPhone/iPad mirroring over USB and AirPlay with D3D11 preview, multi-device sessions, OBS output, and a standalone driver manager.

Scala基础构建模块

数据血缘追踪与可视化解决方案

【Zotero AI 管家】通过调用大语言模型，自动精读论文库中的文献，并总结为Zotero笔记。

用 C 编写的极简、终端本机编码代理。

面向 OpenTibia 社区的 Canary Server 14.x 版本

Scala CLI是一款与Scala语言交互的命令行工具，可让您编译、运行、测试和打包Scala代码（以及更多功能！）

一款可下载并更新N64重编译游戏的启动器

This is the repo for the DevDojo Auth package

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

🤖 MateClaw — 您的第二大脑，具备多智能体编排、MCP协议、技能与记忆、梦境及多通道支持。基于Spring AI Alibaba构建。

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

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

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

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

Open-source incident management tool with an AI SRE agent that watches your logs, learns normal patterns, and auto-creates incidents — plus webhook alerts, multi-channel notifications, and on-call escalation.