搜索结果：jav（320 个）

PureScript 是一种灵感源自 Haskell 并用 Haskell 编写的强类型编程语言。它主要解决 JavaScript 弱类型带来的开发隐患，核心功能是提供富有表现力的静态类型系统，并能直接编译成 JavaScript 代码运行。

将 macOS Mojave 动态桌面功能移植到 Windows 的小工具。

Scalatra 是一款受 Sinatra 启发的极简、高性能 Scala 异步 Web 框架。它主要解决快速构建轻量级 Web 应用与接口的问题，核心提供简单直观的路由定义语法，支持 javax 与 jakarta 规范，并可配合 Jetty、Swagger 及 JSON 扩展使用。

JavaScript 的类型化超集，可编译为规范干净的 JavaScript 代码。

可扩展、分布式梯度提升库（GBDT/GBM），支持多语言并可在单机及 Spark、Flink 等集群运行。

QuickJS Javascript 引擎的公开官方代码仓库。

Apache Pekko 是基于 Actor 模型的开源框架（源自 Akka 2.6.x 分支），旨在解决 Java/Scala 开发者构建高并发、分布式及弹性消息驱动应用的复杂难题。其核心通过高级并发抽象，提供持久化、流处理（Streams）和 HTTP 等配套库，支持构建高可用的分布式系统。

sbt-native-packager 是一个 sbt 插件，解决 Scala/Java 应用打包及系统部署繁琐的问题。它能直接将应用构建为原生格式，支持输出 zip/tar 压缩包、Debian/RPM 安装包、macOS DMG、Windows MSI 以及 Docker 和 GraalVM 原生镜像；同时提供开箱即用的启动脚本，并支持 Systemd 等服务管理配置。

Alpakka Kafka 是面向 Java 和 Scala 的 Kafka 连接器。它主要解决 Kafka 与响应式流（Reactive Streams）系统的集成问题，通过将 Apache Kafka 无缝接入 Akka Streams，提供原生支持背压（Backpressure）的流式数据处理能力。

Alpakka 是面向 Java 和 Scala 的响应式企业集成库。它基于 Akka Streams 和 Reactive Streams 构建，专为解决微服务、云环境与异构旧系统之间的数据集成问题。其核心功能是提供原生支持背压（Backpressure）的流式集成管道与 DSL，防止数据交互时系统过载。

Micro QuickJS JavaScript 引擎的公开仓库。

nscala-time 是一个基于 scala-time 分支开发的 Scala 语言时间库。它主要用于封装 Java 的 Joda Time 库，通过提供更加符合 Scala 风格的 API、丰富的时间算术操作及隐式转换，帮助 Scala 开发者更便捷地处理日期与时间。

〔中文简介暂未生成〕 "Trust no one, bench everything." - sbt plugin for JMH (Java Microbenchmark Harness)

jwt-scala 是一个为 Scala 打造的无外部依赖的 JSON Web Token（JWT）实现库。它支持 Java 17+、Scala 2.13 及 Scala 3，提供 HMAC、RSA、ECDSA 等多种签名算法，并可选扩展集成 Play、Circe、Json4s、uPickle 等主流 JSON 库，方便开发者在 Scala 生态中快速生成与验证 JWT。

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

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

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

使用 JavaScript、HTML 和 CSS 构建跨平台桌面应用的框架。

blaze 是一个基于 Scala 的高性能异步网络 I/O 与 HTTP 微框架，也是 http4s 的底层网络引擎。它旨在解决高效处理异步网络通信的问题，核心功能包括基于 Java NIO 的拉取式异步管道、类型安全处理流、SSL 支持，以及 HTTP/1.x 和 HTTP/2 编解码与基础客户端/服务端实现。

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