of

Agda是一种依赖类型编程语言/交互式定理证明器。

适用于 Raspberry Pi 的电子墨水鸟框架 - 通过音频实时鸟类检测，完全本地 AI，渲染为真实的手工切割 1800 年代鸟类插图。

开箱即用的 AI 标书编写工具，AI 标书生成工具，投标工具箱、知识库、标书查重、废标项检查，完全开源免费，欢迎使用

包含SCAP、Bash、Ansible及其他格式的安全自动化内容。

🐝 开源记账应用，支持iCloud与自建服务器同步（Supabase/WebDAV/S3），集成AI智能记账功能，跨平台设计，隐私优先

uhubctl - USB集线器每端口电源控制

TokenSpeed 是一款光速级的大语言模型推理引擎。

🛜 100多个离线优先的网络工具与实用程序

🦙 MegaLinter 通过 GitHub Action、其他 CI 工具或本地方式，分析您仓库源代码中的 50 种语言、22 种格式、21 种工具格式、过度复制粘贴、拼写错误及安全问题

自托管数据库备份管理器，带有Web界面。支持定时备份、恢复MySQL、PostgreSQL、MariaDB、MongoDB、SQLite及Redis，可存储至S3、SFTP或本地存储。支持SSH隧道。

阿帕奇Fineract

Remove AI features, telemetry data reporting, sponsored content, product integrations, and other annoyances from web browsers.

跨平台免费开源可视化与图像计算软件。

暂无项目描述

一个敏捷的RISC-V SoC设计框架，包含顺序执行内核、乱序执行内核、加速器等组件

适用于Windows、Linux和MacOS的Eclipse Paho C语言MQTT客户端库。API文档：https://eclipse-paho.github.io/paho.mqtt.c/

《塞尔达传说：荒野之息》反编译（Switch 1.5.0）

🌸Bloomee是一款跨平台音乐应用，致力于为您提供来自多源的无广告音乐。🌼🎵

管理、配置、提取和监控Microsoft 365租户配置

Apache POI gitbox镜像。用于操作Microsoft文档的Java API。

🍰 前端项目架构方法论

用于SharePoint和Microsoft列表的列表格式设置示例

使用PowerShell脚本和WPF界面，在Intune和Azure中复制、导出、导入、删除、记录和比较策略与配置文件。通过ADMX导入功能加载ADMX文件和注册表设置。支持查看和编辑PowerShell脚本。

Nucleus Co-op is an application that starts multiple instances of a game for split-screen multiplayer gaming!