搜索结果：is（383 个）

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

互联网 Java 工程师进阶知识完全扫盲，涵盖高并发、分布式、高可用、微服务及海量数据处理等面试内容。

面向 AI Agent 的快速自动化浏览器，零配置且可在不打扰用户的前提下共享登录态。

面向通用时间序列分析的高级深度时间序列算法模型库。

基于 OpenTelemetry 的开源可观测性平台，支持应用与 AI Agent，一站式提供 APM、日志、指标与分布式追踪。

〔中文简介暂未生成〕 Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala

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

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

精选 React Native 组件、新闻、开发工具与学习资料合集。

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

Flutter 桌面端窗口管理插件，全面支持控制窗口大小、位置、外观、关闭行为及事件监听。

基于 Spring Boot + MyBatis 实现的电商系统，包含前台商城与后台管理，支持 Docker 部署。

免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。

30 天 Python 编程学习挑战指南，提供循序渐进的自学步骤，可根据个人节奏完成。

适用于 Win10/11 的 WSA 预构建包，集成 Google Play 商店与 Magisk/KernelSU root 支持。

专为 Flutter 和 Dart 打造的超高速对象持久化嵌入式数据库。

使用 Flutter 构建的极简移动端 RSS 阅读器。

ComfyUI 增强扩展管理器，支持安装、卸载、启用和禁用各类自定义节点。

〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.

专为 Flutter 团队打造的自定义小组件库与界面评审平台。