搜索结果：ble（667 个）

zio-http 是基于 ZIO 和 Netty 构建的 Scala HTTP 框架，用于高效开发 Web 客户端与服务端。它将 HTTP 抽象为函数，核心特性包括：类型驱动与声明式端点设计、原生并发与错误处理、中间件、WebSocket、测试套件以及基于 ZIO Schema 的编解码。

专为 Phoenix LiveView 应用打造的高可定制后台管理面板。

适用于 Elixir 的灵活文件上传与附件管理库。

用于编写高性能、高可靠网络服务的框架。

Perspec 是一款基于 Haskell 开发的桌面工具，用于矫正文档、白板、收据或建筑立面等照片的透视畸变。它能自动识别图像边角，也支持手动拖动微调或缩放，并支持脚本化操作与批量处理，一键导出校正后的平面图像。

Crucible 是一个用 Haskell 编写的语言无关符号执行库。它能将命令式程序表示为控制流图（CFG）并自动进行路径探索，结合 SMT 求解器实现程序验证与反例查找。核心支持对 LLVM、JVM 字节码及 Rust 程序的符号模拟分析。

Tasty 是 Haskell 的现代化测试框架。它解决了各类测试难以统一管理的问题，能将单元测试、Golden 测试及 QuickCheck 等属性测试整合进同一个测试套件。核心功能包括多测试并发执行且确定性输出、命令行模式过滤、层级着色统计展示、跨测试资源管理及高度可扩展性。

基于 ComputerCraft 的 Mekanism 裂变反应堆多机 SCADA 监控系统，含 GUI 与自动安防。

面向 Roblox 游戏开发的模块加载引擎，提供统一易用的服务端与客户端模块。

基于文件系统的极简发布引擎，支持 Markdown 解析与代码高亮。

用于验证高阶配置选项并生成文档的轻量级库。

Scribe 是一款专为 Scala 生态从零构建的超高性能日志库。它解决了传统日志依赖 Java 框架封装所带来的性能损耗及跨平台受限问题。核心亮点在于无需配置文件、支持纯代码化配置，利用宏在编译期深度优化性能，且原生支持 JVM、Scala.js 及 Scala Native 跨平台运行，同时兼容 SLF4J。

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

基于 Phoenix、Ecto 和 Flop 的分页、可排序表格及筛选表单组件。

一款将 PS5 可执行文件自动移植到 Linux 和 Windows 的工具，无需模拟器，可将其转为目标系统的原生格式运行。

MUnit 是一个 Scala 测试库。它主要解决测试报错不明确和框架难扩展的问题，核心功能是提供极具可操作性、清晰直观的错误提示信息，并具备高度可扩展的 API，方便开发者编写和定制单元测试。

基于 comrak 等构建的高性能、可扩展 Elixir Markdown 库，适配 Phoenix 与 AI。

〔中文简介暂未生成〕 Site and E-book Generator and Customizable Text Markup Transformer for sbt, Scala and Scala.js

Udash 是一个基于 Scala.js 的全栈 Web 开发框架。它解决了前后端类型不统一及维护繁琐的问题。核心功能包括：响应式数据绑定、类型安全的 HTML/CSS 生成、前后端共享代码、基于 WebSocket 的双向 RPC 与 REST 通信，并提供前端路由和国际化支持。

ducktape 是一款专为 Scala 3 设计的无样板类型转换库（灵感来自 chimney）。它主要解决相似数据模型间手动映射繁琐的问题，能在编译期自动、可定制地实现结构相似的 case class、sealed trait 和 enum 之间的无缝转换。