🗣 每日羊毛线报 👈


🏵 Hann - Go语言高性能近似最近邻搜索库

🍥 简介：
Hann 是一个专为 Go 语言设计的高性能近似最近邻搜索 (ANN) 库。它提供多种索引数据结构（如 HNSW, PQIVF, RPT），用于在高维空间中实现高效的相似性搜索。作为向量数据库的核心组件，Hann 能轻松集成到 Go 应用中，提供快速的内存搜索能力。该库支持任意维度向量、利用 SIMD 指令加速距离计算（支持欧氏、余弦等多种距离），并提供批量操作和索引持久化功能。

🍭 #近似最近邻搜索 #Go语言


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Jakt - 内存安全的系统编程语言

🍥 简介：
Jakt 是一种专注于内存安全的系统编程语言，其核心目标是提升代码可读性、开发者生产力及程序执行性能。它目前通过转译 (transpile) 生成 C++ 代码来实现编译。为了保证内存安全，Jakt 采用了自动引用计数 (ARC)、强类型系统、边界检查等机制，并在安全模式下不允许使用裸指针（仅限 unsafe 块内）。此外，Jakt 还强调数学运算安全，例如整数溢出将导致运行时错误，且所有类型转换必须显式进行。该语言正处于活跃开发阶段。

🍭 #编程语言 #内存安全


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 VGGT - 从图像快速重建3D场景

🍥 简介：
VGGT (Visual Geometry Grounded Transformer) 是一个前馈神经网络模型（CVPR 2025），它能从单张、少量或大量图像视图中，在几秒内直接推断出场景的关键3D属性，包括相机内外参数、点图、深度图和3D点轨迹。值得注意的是，尽管未针对单视图任务进行训练，该模型在单视图重建上表现优异，性能可与DepthAnything v2等先进方法媲美。项目提供了在H100 GPU上的运行时间和显存占用基准，并建议使用Flash Attention 3优化性能。

🍭 #3D重建 #计算机视觉


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Solo for Laravel - 统一本地开发命令

🍥 简介：
Solo for Laravel是一个Laravel扩展包，旨在简化本地开发流程。它允许你通过单个Artisan命令 php artisan solo 同时运行多个命令，例如启动服务器、监听队列等。每个命令都在Solo的独立标签页中运行，你可以使用左右箭头键在标签页之间切换，从而获得一个强大而统一的开发环境。
注意：该扩展包依赖于 ext-pcntl ，因此不支持Windows系统。

🍭 #Laravel #开发工具 #命令行


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Hyperbrowser MCP Server - 网页数据提取与爬取

🍥 简介：
Hyperbrowser MCP Server是Hyperbrowser的MCP服务器实现，提供网页抓取、结构化数据提取和网页爬取等工具。它集成了多种通用浏览器代理，如OpenAI的CUA和Anthropic的Claude Computer Use，方便用户进行自动化操作。主要功能包括：网页内容抓取、多页爬取、HTML到JSON的转换、Bing搜索以及各种浏览器自动化代理。Hyperbrowser API提供更丰富的功能。

🍭 #网页爬虫 #数据提取


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Screen Sharing App - 实时屏幕共享

🍥 简介：
基于 Next.js、WebRTC 和 PeerJS 构建的实时屏幕共享应用。无需下载或注册，通过简单的房间代码即可分享屏幕。支持实时屏幕和音频共享（Chrome/Edge需选择标签页共享音频），拥有简洁直观的界面和跨浏览器支持。主机端仅限桌面/笔记本浏览器，观看端支持所有设备。

🍭 #屏幕共享 #WebRTC


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Solo Screen - PHP终端渲染器

🍥 简介：
Solo Screen是一个用纯PHP编写的终端渲染器，为Solo for Laravel提供底层支持。它能解析文本和ANSI转义序列，创建终端输出的虚拟表示，用于构建富文本界面的PHP应用。与终端模拟器不同，Screen专注于格式化文本内容的正确渲染，而非处理输入或进程管理。它支持光标定位、文本样式、屏幕管理、Unicode/UTF-8以及滚动等特性，并隔离ANSI操作，确保输出内容的可控性。

🍭 #PHP #终端 #渲染


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Storm Breaker - 钓鱼信息收集器

🍥 简介：
Storm Breaker 是一款“钓鱼”工具，它通过伪装成正常网页，诱骗用户授权，从而获取用户的设备信息（无需权限）、地理位置（手机）、摄像头和麦克风访问权限。 使用 PHP、Python 和 JavaScript 开发，提供 Web 界面，方便操作。 新版本需要用户自己配置 Ngrok 才能在外网使用，或者直接部署到自己的服务器上。 适合安全研究人员进行测试，请勿用于非法用途！

🍭 #钓鱼 #信息收集 #安全测试


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 IronRDP - Rust RDP协议实现

🍥 简介：
IronRDP是一组Rust crate，提供Microsoft远程桌面协议(RDP)的实现，侧重于安全性。它支持多种视频编解码器，包括原始位图、RLE、RDP 6.0和RemoteFX(RFX)。项目包含一个完整的异步RDP客户端 ironrdp-client 和一个同步的截图示例 screenshot ，后者展示了如何用少量代码构建基本的RDP客户端，连接服务器，解码图形更新并保存为BMP图像。

🍭 #RDP #Rust #远程桌面


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Second Me - 训练你的AI分身

🍥 简介：
Second Me 是一个开源原型，旨在构建个性化的 AI 分身，挑战 OpenAI 等公司的“超级 AI”模式。它通过本地训练和托管，确保用户完全掌控数据，同时连接全球网络，扩展个人智能。该项目利用 AI 原生记忆（HMM 和 Me-Alignment 算法）捕捉用户身份，并允许与其他 AI 分身协作，构建未来的 AI 应用。

🍭 #AI分身 #开源AI


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Neural Pony - 深度克隆语音机器人

🍥 两步语音克隆：
第一步： 录一段语音消息，或者发送一段包含你想模仿的声音（比如你朋友的声音）的音频、语音、视频或小视频。
第二步： 录一段语音消息或者发送一段包含你自己声音的音频文件。这段你自己的声音将会被第一步里你模仿的声音覆盖。你也可以发送一段文字，这段文字将会用第一步里你模仿的声音说出来。


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Manifest - 极简单文件后端

🍥 简介：
Manifest 旨在简化后端开发，适用于仅需基础功能的网站和应用。它避免了过度设计的复杂性，以单文件形式集成到项目中，降低成本并提升效率。适用于快速原型、微服务（如通知、支付、日志）、CRUD应用以及Headless CMS等场景。提供核心后端功能，简化开发流程。

🍭 #后端框架 #极简主义


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Retro Boy - Game Boy模拟器

🍥 简介：
Retro Boy 是一款用 Rust 编写的 Game Boy 模拟器，支持在网页端运行。它通过 wasm-pack 将 Rust 代码编译为 WebAssembly，并利用 Web Audio API 和 HTML Canvas 实现音频和图形渲染。Retro Boy 具有高精度的 CPU 和音频模拟，支持多种 MBC 卡带类型，并能将卡带 RAM 数据持久化到浏览器的本地存储中。其网页前端基于 React/TypeScript 开发，提供全屏模式、暂停/恢复、自定义按键映射等功能，适合复古游戏爱好者体验经典 Game Boy 游戏。

🍭 #游戏模拟器 #Rust开发


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Minimalytics - 轻量级分析工具

🍥 简介：
Minimalytics 是一款基于 SQLite 的极简独立分析工具，专为资源受限环境设计。它提供轻量级的事件跟踪和数据可视化功能，存储占用极小（约 20 MB），却能支持每月超过 10 亿次事件的处理。Minimalytics 通过事件聚合和 SQLite 存储优化空间使用，并内置 Web UI 用于管理仪表盘和交互式图表。其 CLI 工具启动服务器，提供事件提交 API 和 Web UI 服务，适用于需要高效、低成本分析解决方案的场景，如内部服务监控或小型项目。

🍭 #数据分析 #轻量级工具


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 zlib-ng - 高性能压缩库

🍥 简介：
zlib-ng 是 zlib 压缩库的现代化分支，专为下一代系统优化设计。它保留了 zlib 的兼容性 API，同时引入了现代 C11 语法和高效算法，支持多种 CPU 指令集（如 SSE2、AVX2、Neon 等）以加速压缩和解压过程。zlib-ng 整合了 Intel 和 Cloudflare 的优化方案，并移除了对老旧编译器和系统的兼容性代码，使代码更简洁、性能更高。此外，它支持硬件加速（如 IBM Z DFLTCC）和全面的单元测试，适用于需要高性能压缩的场景，如云计算和大数据处理。

🍭 #数据压缩 #性能优化


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 coq-of-rust - Rust形式化验证工具

🍥 简介：
coq-of-rust 是一款专为 Rust 语言设计的形式化验证工具，旨在通过数学证明确保程序在所有执行路径下均无漏洞。尽管 Rust 的类型系统已能有效防止内存错误等常见问题，但代码仍可能因意外崩溃或业务逻辑错误而存在风险。coq-of-rust 通过将 Rust 代码自动转换为 Coq 语言，并经过半自动化的优化步骤，最终在 Coq 中验证代码的规范性和正确性。典型应用场景包括确保代码不会崩溃、数据结构等效性验证、版本兼容性检查等。通过形式化验证，开发者可以将漏洞和错误降至近乎零，特别适用于关键软件的安全保障。

🍭 #形式化验证 #Rust安全


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 Docs - 协作文档编辑平台

🍥 简介：
Docs 是一个基于 Django 和 React 构建的开源协作文档编辑平台，旨在简化知识构建与共享的流程。它提供了简洁的协作编辑体验，无需复杂的 Markdown 格式，支持离线编辑并自动同步。Docs 专注于内容创作，提供有限的但美观的格式化选项，并内置多种生产力工具，如 Markdown 支持、多种块类型、斜杠命令和快捷键。此外，Docs 还集成了 AI 功能，支持生成、总结、校正和翻译文本。团队可以实时协作，并通过细粒度的访问控制确保信息安全。支持多种格式的文档导出（如 .odt、.doc、.pdf）和自定义模板，内置 Wiki 功能，帮助团队将协作成果转化为结构化知识。Docs 是一个易于安装、可扩展且安全的 Notion、Outline 或 Confluence 替代方案。

🍭 #协作编辑 #开源文档


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 ​Open UI - 用户界面开放标准

🍥 简介：
Open UI 是一个致力于推动用户界面（UI）开放标准的社区项目，旨在通过研究和规划，改进网页表单控件及其他网站级 UI 控件的设计、样式和行为。它通过记录流行第三方框架中的通用组件模式，并结合 HTML、CSS、JavaScript 和 Web API 技术，为开发者提供更强大的底层架构支持。Open UI 的愿景是帮助开发者创建现代自定义用户界面，同时确保其可访问性、性能和安全性。该项目通过向 WHATWG、CSSWG 等标准组织提交改进建议，推动相关技术的标准化和浏览器实现。

🍭 #UI标准 #网页开发


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 ​OWL - 多智能体协作框架

🍥 简介：
OWL 是一个前沿的多智能体协作框架，基于 CAMEL-AI Framework 构建，旨在推动任务自动化的边界。它通过动态智能体交互，实现跨多领域的自然、高效且稳健的任务自动化。OWL 支持在线搜索、多模态处理（视频、图片、语音）、浏览器操作、文件解析和代码执行等功能，并提供丰富的工具包，如 ArxivToolkit、GitHubToolkit 和 WeatherToolkit 等，满足各类特定任务需求。在 GAIA 基准测试中，OWL 以 58.18 的平均分位居开源框架榜首。

🍭 #多智能体 #任务自动化


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿

🗣 每日羊毛线报 👈


🏵 ​presenterm - 终端幻灯片工具

🍥 简介：
presenterm 是一款基于 Markdown 的终端幻灯片工具，允许用户通过简单的 Markdown 文件创建演示文稿，并直接在终端中运行。它支持图像、动画 GIF、代码高亮、Mermaid 图表、LaTeX 公式等多种功能，并提供了高度可定制的主题选项，包括颜色、布局和对齐方式。此外，presenterm 支持将演示文稿导出为 PDF 格式，并提供了自动重载功能，便于快速开发和调整。其独特的动态代码高亮和片段执行功能使其特别适合技术演示和教学场景。

🍭 #终端工具 #Markdown幻灯片


🎈 【进入项目】


🎯 关注频道 🤖 合作/投稿