t

通过语言服务器协议提供官方Haskell集成开发环境支持

用于批量下载离线音乐库同步歌词的实用工具。

（镜像）面向小型自托管地理分布式部署的S3兼容对象存储。主仓库：https://git.deuxfleurs.fr/Deuxfleurs/garage

一份精心整理的优秀Common Lisp框架、库及其他精彩资源清单。

基于前沿物理机器学习方法的开源深度学习框架，用于构建、训练和微调深度学习模型

基于Postgres的多线程Active Job后端，适用于Ruby on Rails。

Kani Rust Verifier

Dart语言设计

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

Spring Batch是一个使用Java和Spring编写批处理应用程序的框架

Gemini Nano香蕉版/专业版水印维护工具

LakeSail的计算框架，其使命是统一批处理、流处理和计算密集型AI工作负载。

Grok2API 基于 FastAPI 重构，全面适配最新 Web 调用格式，支持流式与非流式对话、图像生成与编辑、深度思考功能，并集成了号池并发与自动负载均衡。

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

用于 Clojure 的快速 HTML 渲染库

自学习智能体的上下文数据平台。为智能体提供存储、观察与学习的统一场所。旨在简化上下文工程，提升智能体可靠性与任务成功率。

嵌入式模板库

KEJILION.SH 全功能Linux管理脚本！一体化Linux管理工具！

用于Elixir的多维数组（张量）与数值定义。

an application that automates the lifecycle of servers

zenoh 统一了动态数据、使用中数据、静态数据及计算任务。

安卓天气应用 🌦🌞☔

一款使用 Tauri、React 和 TypeScript 构建的现代视频编辑器，专注于实现剪映高级功能的免费替代能力

让密码和其他敏感信息远离您的收件箱和聊天记录。