搜索结果：is（375 个）
按分类缩小范围
Carp
综合 56
Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机，通过所有权追踪实现自动且确定性的内存管理，避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互，并能直接与现有 C 代码集成。
realm-java
综合 56
专为移动端打造的高性能数据库，可替代 SQLite 和传统 ORM。
riscv-boom
综合 56
〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine
bitchat
综合 56
基于蓝牙 Mesh 组网的去中心化聊天工具，带来复古 IRC 体验。
scalate
综合 56
〔中文简介暂未生成〕 Scalate is a Scala based template engine which supports HAML, Mustache and JSP, Erb and Velocity style syntaxes.
dtm
综合 56
跨语言分布式事务框架，支持 Workflow、SAGA、TCC、XA 及二阶段消息等模式。
AXe
综合 56
基于 Apple 私有辅助功能 API 与 iOS 模拟器交互的 CLI 命令行工具。
changelog.com
综合 56
知名开发者播客 Changelog 的开源网站平台。
FiloDB
综合 56
FiloDB 是一款用 Scala 编写的分布式内存时序数据库，主要解决海量指标和事件数据的大规模实时摄取与查询难题。它支持直接从 Kafka 流式摄取并自动分片，兼容 Prometheus 的 PromQL 查询语言，具备基于标签的高效索引及 Spark 支持，适合构建超大规模运维监控系统。
互联网 Java 工程师进阶知识完全扫盲，涵盖高并发、分布式、高可用、微服务及海量数据处理等面试内容。
ego-lite
综合 55
面向 AI Agent 的快速自动化浏览器，零配置且可在不打扰用户的前提下共享登录态。
dicedb
综合 55
基于 Valkey 的开源低延迟键值引擎，支持查询订阅与分层存储。
Time-Series-Library
综合 55
面向通用时间序列分析的高级深度时间序列算法模型库。
CYLTabBarController
综合 55
iOS TabBar UI 组件库，支持 Lottie 动画、Liquid Glass 效果及自定义中间大按钮。
signoz
综合 55
基于 OpenTelemetry 的开源可观测性平台，支持应用与 AI Agent，一站式提供 APM、日志、指标与分布式追踪。
slick
综合 55
〔中文简介暂未生成〕 Slick (Scala Language Integrated Connection Kit) is a modern database query and access library for Scala
Easydict
综合 55
简洁优雅的 macOS 词典翻译工具，开箱即用，支持离线 OCR 识别及国内外主流词典与大模型翻译服务。
idb
综合 55
用于自动化控制 iOS 模拟器和真机的灵活 CLI 工具。
cryptol
综合 55
Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。
meilisearch
综合 54
极速搜索引擎 API，为网站和应用带来基于 AI 的混合搜索能力。