搜索结果：ime（301 个）

面向云原生、边缘计算和去中心化应用的轻量、高性能、可扩展 WebAssembly 运行时。

FreeBSD 源码树只读发布仓库。

专为 Elixir 项目打造的功能完备的日期与时间处理库。

Membrane Framework 的核心库，基于 Elixir 编写的多媒体处理框架。

开源的大规模全数据包捕获、索引与数据库系统。

FiloDB 是一款用 Scala 编写的分布式内存时序数据库，主要解决海量指标和事件数据的大规模实时摄取与查询难题。它支持直接从 Kafka 流式摄取并自动分片，兼容 Prometheus 的 PromQL 查询语言，具备基于标签的高效索引及 Spark 支持，适合构建超大规模运维监控系统。

MacWire 是一个用于 Scala 的轻量级依赖注入库。它通过编译期宏自动生成对象实例化代码，解决传统手动组装依赖时样板代码繁琐的问题。核心提供 `wire`、`autowire` 等宏，具备类型安全、零运行时开销、无需注解等特性。

WebAssembly 微型运行时（WAMR）。

实验性、可扩展的高性能 HTTP 服务器。

程序员对战游戏，可与其他玩家实时在线比拼算法题，支持单人对战与大型锦标赛。

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

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

面向 Neovim 的 Sourcegraph 与 Cody 实验性插件。

〔中文简介暂未生成〕 Lightweight real-time big data streaming engine over Apache Pekko

〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.

ClickHouse® 是一款实时分析型数据库管理系统。

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

作者自用的 Nix Flake 配置，包含持续演进的系统、开发环境与工具设置。

面向实时数据驱动应用的内存缓存、数据结构服务器，以及文档和向量查询引擎。

Phoenix + LiveView 实时计数器入门教程，带你从基础原理开始学习。