pe

Dart语言设计

🧑‍🎨 有效的 Golang 代理技能集合

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

基于网页命令行的硬件渗透工具 支持全协议通信

基于QtQuick的灵活桌面外壳开发工具包，支持Wayland与X11

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

wolfSSL库是一个小型、快速、可移植的TLS/SSL实现，适用于从嵌入式设备到云端的各种场景。wolfSSL支持最高TLS 1.3和DTLS 1.3协议！

一个自动化服务器生命周期的应用程序

API Dash是一款基于人工智能技术的开源跨平台API客户端，支持桌面端与移动端，采用Flutter构建。它可帮助您轻松创建和自定义HTTP及GraphQL API请求，可视化检查响应数据，并生成API集成代码。是Postman/Insomnia的轻量级替代方案。

开源工具，可从头构建Windows脚本，包含系统精简、隐私保护、性能优化及应用程序安装脚本

简化专注的开源NAS操作系统

Agent Skills 终极指南：快速入门、资源推荐、精选技能与工具集合

语音转文字

帮助 AI 编码代理编写现代 Go

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

Open CASCADE Technology是一个面向三维CAD、CAM、CAE的开源软件开发平台

@zig-gamedev 库及示例应用程序的开发仓库

Arduino FOC 无刷直流与步进电机库 - 基于 Arduino 的磁场定向控制算法库

开源个人理财经理。自托管，隐私第一。

在您的应用中集成前沿CoreML音频模型——文本转语音、语音转文本、语音活动检测及说话人分离。基于Swift开发，由顶尖开源技术驱动。

支撑OpenStreetMap运行的Rails应用程序

OpenClaw 最简洁的桌面客户端 🦞 — 一键将您的 Agent 桥接到微信、飞书、Slack 和 Discord。兼容 Claude Code、Codex 及任意 LLM。自带密钥、OAuth 认证、本地优先，支持手机端 24/7 聊天。

macOS 菜单栏应用，用于启动 iOS  和 Android 🤖 模拟器

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。