of

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

FUTO 键盘官方问题追踪器及 https://gitlab.futo.org/keyboard/latinime 源码镜像

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

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

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

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

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

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

暂无项目描述

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

Apache Fineract

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

一款面向学生和创作者的快速开源Markdown笔记应用

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

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

🍰 前端项目架构方法论

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

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

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

🤝 适用于GitHub的GIF与头像精选合集。

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

32位微控制器安全启动方案

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

Power Apps示例代码库，涵盖Dataverse、模型驱动应用、画布应用、组件框架、门户网站及AI生成器。