搜索结果:v(310 个)
按分类缩小范围
ego-lite
综合 55
面向 AI Agent 的快速自动化浏览器,零配置且可在不打扰用户的前提下共享登录态。
fs2
综合 55
FS2 是 Scala 的纯函数式流式 I/O 处理库,主要解决高并发、带副作用数据流的安全与高效处理问题。其核心提供可组合的流(Stream)和拉取(Pull)抽象,在保障资源安全与高性能的同时,支持与 Cats-Effect 等不同副作用库结合使用。
alpakka-kafka
综合 55
Alpakka Kafka 是面向 Java 和 Scala 的 Kafka 连接器。它主要解决 Kafka 与响应式流(Reactive Streams)系统的集成问题,通过将 Apache Kafka 无缝接入 Akka Streams,提供原生支持背压(Backpressure)的流式数据处理能力。
play-slick
综合 55
play-slick 是专为 Play Framework 打造的 Slick 数据库集成插件。它主要解决两者生命周期协同与演进管理问题:一是将 Slick 深度集成到 Play 生命周期中,确保应用停止或重载时安全释放连接池与线程池资源;二是提供对 Play 数据库演化(evolutions)的支持。
pureconfig
综合 55
PureConfig 是一个 Scala 配置加载库。它解决了手动编写繁琐且易错的配置解析样板代码的问题。核心功能是在编译期自动将 HOCON、Java `.properties` 或 JSON 格式的配置文件,映射转化为原生 Scala 的 case class、sealed trait 等类型,同时支持自定义类型扩展。
firesim
综合 55
〔中文简介暂未生成〕 FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility
scala-logging
综合 55
scala-logging 是一个封装了 SLF4J 的高性能 Scala 日志库。它利用 Scala 宏(Macros)在编译期自动生成日志级别检查代码,避免了手动写 `isDebugEnabled` 的繁琐和高昂的字符串插值开销;同时提供 `LazyLogging` 等特质,开箱即用、便捷高效。
sim
综合 55
用于构建、部署和监控 AI Agent 与工作流的协作工作区平台。
cabal
综合 55
〔中文简介暂未生成〕 Official upstream development repository for Cabal and cabal-install
jsoniter-scala
综合 55
jsoniter-scala 是一个高性能的 Scala JSON 解析与序列化库。它通过 Scala 宏在编译期生成安全且极速的 JSON 编解码器(codecs),避免了运行时的反射开销;同时还提供 circe booster 加速模块,并支持 JVM、Scala.js 及 Scala Native 等多平台。
clash-compiler
综合 55
clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能:强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计,及类型安全的多时钟域支持。
xxl-job
综合 55
开源轻量级分布式任务调度平台与框架。
twirl
综合 54
Twirl 是 Play 框架默认的模板引擎,也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出,核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码,并提供 sbt 与 Maven 插件支持无缝集成构建。
nix-vscode-extensions
综合 54
nix-vscode-extensions 解决了 Nixpkgs 中 VS Code 插件数量少且更新滞后的痛点。该项目通过每日自动抓取,为 VS Code 市场及 Open VSX 上的海量插件提供最新的 Nix 表达式封装(Flake),方便开发者用 Nix 管理并安装主流平台(Linux、Darwin)的插件。
circe
综合 54
〔中文简介暂未生成〕 Yet another JSON library for Scala
baker
综合 54
Baker 是一个微服务业务流程编排库。它基于 Petri 网概念,解决复杂微服务调用与流转难以管理和协同的问题。核心功能是提供 Java/Kotlin/Scala DSL 将流程声明为由交互、数据和事件组成的“配方”,支持可视化展示,并能跨团队复用交互组件。
chatwiki
综合 54
微信公众号 AI 知识库工作流 Agent 平台与 RAG 客服机器人。
kaitai_struct_compiler
综合 54
kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构,自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码,并提供开箱即用的访问 API。
reverse-skill
综合 54
面向逆向工程与渗透测试的技能路由包,支持 AI 路由与按需引导工具链。
neut
综合 54
Neut 是一个采用静态内存管理的函数式编程语言。它解决了传统函数式语言依赖 GC 的内存开销问题,在无需额外类型注解的情况下,实现可预测的、基于类型的内存管理。项目支持完整 λ 演算,可编译为 LLVM IR 和原生二进制,并内置 LSP、代码格式化与快速原型开发支持。