Mathpad：一款为学生和专业人士设计的数学键盘，让输入复杂公式变得轻松简单。

支持112种数学符号和完整希腊字母，涵盖代数、微积分、集合论和逻辑；兼容Windows、macOS和Unix系统；支持多种输出模式，包括Plaintext、LaTeX和Microsoft Office公式编辑器
Shotgun Code：一键将代码库“发射”到大语言模型中，解决AI开发中的上下文缺失问题。

一键生成完整项目结构和文件内容，节省手动整理时间；支持跨平台（Windows、macOS、Linux），适用性广；提供交互式排除功能，可忽略不必要的文件和文件夹，优化上下文
llms.txt-hub：AI文档和工具的标准化目录，助力AI模型更好地理解和使用你的项目文档。

提供超过242个llms.txt实现，涵盖AI、数据分析、开发工具等多领域；简化AI交互，提升AI响应准确性；支持多种工具和平台，如Cursor、VS Code扩展等
AI Baby Monitor：一款基于本地视频和LLM的智能婴儿监控系统，用技术守护宝宝的安全。

完全本地运行，隐私无忧；实时监控，每秒处理约1次请求；支持多房间监控，一个系统搞定全家
Beelzebub：一款低代码、高安全性的蜜罐框架，利用LLM技术实现系统虚拟化，轻松检测和分析网络攻击。| #框架

支持多种协议（如SSH、HTTP、TCP）；集成Prometheus和Docker，扩展性强；提供实时攻击通知的Telegram Bot
框架
一个统一的图像编辑数据集和基准测试工具。它为图像编辑任务提供了高质量的数据支持，帮助提升模型的编辑质量和细节保留能力。

包含120万对精心策划的编辑样本；覆盖单轮和多轮编辑任务，涵盖10种单轮任务和3种多轮任务；数据质量高，通过多阶段流程生成，结合了最先进的视觉语言模型和检测模型

ImgEdit | #工具
工具
下一代状态管理框架，基于响应式SQLite和内置同步引擎，为应用提供强大的数据基础。

支持全平台（Web、移动、服务器/边缘、桌面）；真正的离线优先工作流；自定义冲突解决策略

LiveStore | #框架
框架
一个简单易用的文本嵌入相关性调试工具。它能帮助开发者快速检查文本嵌入的相似性，优化模型效果。

提供直观的可视化界面，轻松查看文本嵌入的相关性；支持多种嵌入模型和任务类型；可自定义颜色方案和筛选阈值

Correlations | #工具
Media is too big
VIEW IN TELEGRAM
工具
Broccoli：为Rust应用打造的高效消息队列系统，是Rust版的Celery替代品。

异步消息处理，提升应用响应速度；Redis支持，后续还将支持RabbitMQ和Kafka；可配置的重试策略，保障消息处理的可靠性
简化音频和视频转录，让转录工作变得轻松又高效。

高精度转录，基于强大的Whisper模型；支持超过30种语言；提供用户友好的GUI界面

SoftWhisper | #工具
工具
Streaming Markdown：一个流式解析Markdown的库，让你像ChatGPT一样实时渲染Markdown内容。

实时渲染，用户可以即时看到Markdown的格式化效果；支持多种Markdown特性，包括代码块、表格、LaTeX等；仅3kB Gzip大小，轻量级且高效
Before
After
Back to Top