项目分类

面向 ICPC 等系列程序设计竞赛的榜单可视化展示引擎。

专为 Elixir 语言打造的 PostgreSQL 数据库驱动程序。

NetLogo 是一个基于 Scala 开发的多主体建模（ABM）仿真平台。它主要面向学生、教师和科研人员，用于模拟和探索复杂系统。平台核心通过海龟（turtles）、网格（patches）和链接（links）等基本要素，支持低门槛地构建、运行与可视化复杂的交互式主体模型。

ASF（ArchiSteamFarm）的官方 Web 界面。

Cachix 是专为 Nix 设计的二进制缓存托管命令行客户端，旨在避免重复构建软件。它支持一键配置并使用远程二进制缓存，提供向缓存推送构建产物、监控 `/nix/store` 自动上传新产物、导入 S3 缓存、固定路径防垃圾回收以及远程部署管理等核心功能。

〔中文简介暂未生成〕 FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

Megaparsec 是一个工业级的 Haskell 单子解析器组合子库，旨在兼顾解析速度、灵活性与高质量的错误提示。 核心功能包括： 1. **灵活的 Monad 栈构建**：基于 `MonadParsec`，支持结合各类 Monad 变换器定制状态与回溯行为； 2. **丰富的错误处理**：支持自定义解析错误、观察错误以及动态错误恢复（`withRecovery`）； 3. **高性能组合子**：提供零拷贝分块匹配（如 `tokens`、`takeWhileP`），大幅提升文本解析效率； 4. 支持字符、二进制解析及词法分析器构建。

开源的自托管 PaaS 平台，替代 Vercel 等服务。支持在自有服务器上轻松部署静态网站、数据库、全栈应用及 360+ 种一键服务。

专为 Zig 语言打造的 Vulkan 绑定代码生成器。

为 mpv 添加快捷键，方便在观看影视剧时快速制作 Anki 卡片。

〔中文简介暂未生成〕 Haskell implemented with combinators

〔中文简介暂未生成〕 Lightweight real-time big data streaming engine over Apache Pekko

Spline 是一个基于 Scala 开发的数据血缘追踪与可视化方案。它主要解决大数据处理流程中数据来源与流向不透明的问题，支持 Apache Spark 等框架。核心功能包括自动化捕获作业血缘、通过 REST/Kafka 接口传输并存储血缘数据，以及提供直观的可视化界面。

面向 OpenTibia 社区的 Canary Server 15.25 服务端

适用于 Zig 的解析器组合子（Parser Combinator）库。

Zig 语言的原生 PostgreSQL 驱动与客户端。

eff 是一个面向 Scala 的函数式编程库。它旨在替代复杂的单子变换器（Monad Transformers），解决多重副作用组合繁琐的问题。核心提供基于“Freer Monad”的可扩展副作用（Eff monad），开箱支持 Reader、Writer、State 等常用效果，并允许开发者自定义副作用栈。

〔中文简介暂未生成〕 A Scala DSL for talking with databases with minimum verbosity and maximum type safety

基于 C++20 和 Lua 开发的模块化 Tibia 替代客户端，支持通过 Lua 脚本灵活定制游戏界面与功能。