ask

一个干净的、自托管的 Web UI，用于管理您的 Traefik 反向代理。

开源私人日志本，内置本地智能代理层。长期运行的 AI 代理会读取你的记录并建议下一步行动。在硬件允许的情况下，模型也可在本地运行。采用 Matrix 与 Vodozemac 实现设备间的端到端加密同步。

自制酒桶的本机 GUI

👩‍🏫 👨‍🏫 通过4个拉取请求学习Haskell基础知识

人工智能看板和开发环境。协调多个代理、审查变更、开放 PR。多提供商、自托管、无遥测。

用于高性能数组计算的嵌入式语言

在Haskell中实现高性能、流式与并发函数式编程

MetaMask 开发者文档

一个基于流的运行时验证框架，用于生成硬实时C代码。

用于查看克劳德代码任务的基于网络的看板

可脚本化的桌面应用，用于校正图像的透视

HStreamDB 是一款面向物联网及其他领域的开源云原生流数据库，助您为实时应用现代化数据栈。

ML-capsule 是一个面向没有导师或指导、希望学习机器学习的数据科学初学者和经验爱好者的项目。通过我们的仓库，他们可以学习机器学习、深度学习以及许多相关技术，并结合不同的真实项目，为面试做好准备。

App Group 让您能够整理、自定义并启动您的应用程序。

这款macOS窗口管理器让每个应用拥有独立的Alt-Tab切换功能。

具备类桌面多窗口及远程访问支持的 Android 多任务管理器

一款非官方合规的浏览器版《诡镇奇谈：卡牌游戏》，非Fantasy Flight Games制作、认可、支持或关联。

从Cabal文件生成Nix构建指令

用于生成格式规范的JSON文档的Terraform模块，该文档作为容器定义传递给aws_ecs_task_definition Terraform资源

Hydra Head协议实现

SAW — SAFe智能体工作流AI Agent工具集，专为多智能体团队工作流构建，基于SAFe方法论（规模化敏捷框架）并适配AI智能体团队，适用于任何拥有可重复流程的团队：软件、市场、研究、法务、运营。

用于转换和制作《摇滚乐队》《吉他英雄》《Clone Hero》及其他类似节奏游戏歌曲的工具包

基于合成 ∞ 范畴类型论的实验证明助手。

支持一系列Ouroboros共识协议的网络协议规范及协议组件实现；Cardano节点的扩散层