项目分类

Caliban 是一个面向 Scala 的纯函数式 GraphQL 库，用于构建 GraphQL 服务端与客户端。它能帮开发者免去手动定义 Schema 的繁琐样板代码，利用 Scala 标准类型在编译期完成 Schema 定义与校验，并结合运行时解析器，提供兼顾纯函数式和高性能的 GraphQL 解决方案。

BNB 链演进提案（BNB Evolution Proposals）。

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

Delta Sharing 是开源的安全数据共享协议，解决跨计算平台实时交换大数据集的难题。它通过 REST 协议共享云存储上的数据，提供 Python、Spark 连接器及参考服务端，支持直接用 pandas、Spark 等工具读取 Delta Lake 或 Parquet 表。

用于管理全局和项目本地配置的 Neovim 插件。

该项目是一款轻量级 Elasticsearch 与 Kibana 安全插件。它解决了无需额外部署反向代理或笨重外部容器即可安全暴露 ES 的问题。核心功能是在查询解析后进行高效的访问控制，提供身份认证、细粒度鉴权、加密、审计及 Kibana 多租户支持，阻止非法修改并防止数据被删。

支持自主定制与自托管的社交空间，提供细粒度的数字生活控制权。

干净、极简的电子书阅读器体验系统。

安全测试字典合集，收录安全评估所需的用户名、密码、URL 与敏感数据等列表。

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

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

适用于 Neovim 的 Roslyn LSP 语言服务器插件。

适用于《模拟农场 25》（Farming Simulator 2025）的 Courseplay 模组。

Techmino: 方块研究所唯一官方仓库 (GitHub)。

〔中文简介暂未生成〕 The Egison Programming Language

专为程序员设计的跨平台文本编辑器，快速、极简且极具扩展性。

Daml 是一门针对分布式账本（区块链）的智能合约开发语言。它主要解决多方协作中的隐私保护和业务逻辑编写难题，核心功能包括基于“隐私设计”的权限控制、跨账本的工作流自动化，并提供完整的 SDK 工具链供开发者编写与运行智能合约。

支持可插拔后端的 Elixir 速率限制器（Rate-limiter）。

scala-logging 是一个封装了 SLF4J 的高性能 Scala 日志库。它利用 Scala 宏（Macros）在编译期自动生成日志级别检查代码，避免了手动写 `isDebugEnabled` 的繁琐和高昂的字符串插值开销；同时提供 `LazyLogging` 等特质，开箱即用、便捷高效。

Swarm 是一款用 Haskell 编写的 2D 资源收集与编程游戏。玩家通过编写代码来操控机器人探索未知世界、收集各类资源；再利用这些资源制造并升级更先进的机器人，从而支持运行更复杂、更有趣的程序来拓展探索。