项目分类

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

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

用于构建、部署和监控 AI Agent 与工作流的协作工作区平台。

〔中文简介暂未生成〕 Official upstream development repository for Cabal and cabal-install

jsoniter-scala 是一个高性能的 Scala JSON 解析与序列化库。它通过 Scala 宏在编译期生成安全且极速的 JSON 编解码器（codecs），避免了运行时的反射开销；同时还提供 circe booster 加速模块，并支持 JVM、Scala.js 及 Scala Native 等多平台。

clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。

开源轻量级分布式任务调度平台与框架。

Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。

Twirl 是 Play 框架默认的模板引擎，也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出，核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码，并提供 sbt 与 Maven 插件支持无缝集成构建。

jackson-module-scala 解决了 Jackson 默认无法良好兼容 Scala 特有数据结构的问题。作为官方扩展模块，它为 Scala 提供序列化与反序列化支持，原生适配样例类（Case Classes）、Option、Tuple、集合（Seq/Map）及枚举等类型。支持 Scala 2 和 3，注册到 ObjectMapper 即可无缝处理 JSON、XML 等格式。

nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取，为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装（Flake），方便开发者用 Nix 管理并安装主流平台（Linux、Darwin）的插件。

〔中文简介暂未生成〕 Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

〔中文简介暂未生成〕 Yet another JSON library for Scala

Baker 是一个微服务业务流程编排库。它基于 Petri 网概念，解决复杂微服务调用与流转难以管理和协同的问题。核心功能是提供 Java/Kotlin/Scala DSL 将流程声明为由交互、数据和事件组成的“配方”，支持可视化展示，并能跨团队复用交互组件。

Stack 是用于开发 Haskell 项目的跨平台工具。它旨在解决 Haskell 开发环境与依赖管理问题，全面支持 Linux、macOS 和 Windows。无论是新手还是资深开发者，都可以通过它轻松搭建、构建和维护 Haskell 项目。

微信公众号 AI 知识库工作流 Agent 平台与 RAG 客服机器人。

Project:M36 是一个纯 Haskell 开发的关系代数引擎，旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数，支持 TutorialD 与 SQL 交互，可用作进程内或远程数据库后端，适合学习关系代数与规范化数据存储。

kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构，自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码，并提供开箱即用的访问 API。

面向逆向工程与渗透测试的技能路由包，支持 AI 路由与按需引导工具链。

Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题，在无需额外类型注解的情况下，实现可预测的、基于类型的内存管理。项目支持完整 λ 演算，可编译为 LLVM IR 和原生二进制，并内置 LSP、代码格式化与快速原型开发支持。