ca

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

✿ A modular desktop configuration system for Arch / CachyOS

Fast and lightweight DB Client made in Rust and GPUI.

免费、开源且注重隐私的食物日记和营养追踪器

专为Neovim打造的Metals插件

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

暂无项目描述

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

适用于 LG webOS 电视的快速非官方 Plex 客户端 — 原生 60 fps UI、4K HEVC/杜比视界、无 Chromium 或 WebView。

一个由Redis驱动的WordPress持久化对象缓存后端。

基于Decap CMS的Hugo模板

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

适用于Mac的快速本地语音应用——系统级听写、文件与YouTube转录，以及会议录制。基于Apple Silicon上的Parakeet TDT驱动。免费且开源。

密度泛函工具包

Raycast 的力量。阿尔弗雷德的速度。隐私设计。

A local Apple Documentation crawler and MCP server. Written in Swift.

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

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

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

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

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

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

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

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