搜索结果：is（267 个）

quip 网络挖矿技术栈，包含协调器并连接所有官方 quip 网络矿工。

Rudder 是一个用 Scala 开发的基础设施配置与安全自动化平台。它主要解决云端、混合或本地多环境（Linux/Windows）的管理难题，提供自动资产盘点、补丁与漏洞管理、系统加固、安全合规审计，以及通过可视化或 YAML 编写的自动化配置管理。

一线大厂技术面试真题与答案汇总，包含出题专家深度分析。

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

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

注重隐私保护的分布式开源社交网络系统。

〔中文简介暂未生成〕 FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility

基于 HTTP 协议的高性能 TCP/UDP 隧道工具。

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

Chronon 是一个面向 AI/ML 的端到端特征数据平台。它解决了机器学习中特征计算与在线提供复杂度高、离线训练与在线推理易不一致的问题。 核心功能包括：统一批流计算定义特征、大规模时序回填（保证时间旅行准确性）、低延迟在线特征查询，以及监控数据时效与线上线下一致性。

用于抓取真实 HTTP 流量并在测试环境重放的开源工具，支持真实数据持续测试。

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

专为 Linux 服务器打造的 WireGuard VPN 自动化安装脚本。

newbee-mall 电商系统，含基础版、前后端分离版、秒杀版、Go 版及 Spring Cloud 微服务版。

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

开源可自建的 LLM 网关，兼容多模型 API，支持模型路由、访问控制与用量计费。

Quine 是一款专为实时流数据设计的流式图解释器。它能接入 Kafka、Kinesis 等事件流，将其动态构建为有状态的图结构；核心特色是“持续查询”（Standing Queries），可在图数据中实时监测复杂模式并在命中时触发操作，将计算结果实时流式输出。

Umami 是注重隐私的网站与产品分析平台，不依赖 Cookie，支持自托管或云端部署，帮你一站式统计流量、行为与转化数据。

个人 AI 助手，安装简便，支持本地或云端部署，适配多款聊天应用且功能易扩展。

全面的 C/C++ 技术面试基础知识与求职经验总结。