搜索结果：is（1859 个）

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

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

Fish Shell 的插件与主题配置管理框架。

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

精选优质教程合集，带你从零手写 Git、Docker、数据库等常用技术，通过动手造轮子吃透底层原理、进阶编程水平。

精选 iOS 生态资源合集，涵盖优质 Swift 与 Objective-C 开源项目。

基于 Flutter 开发的个人财务、资产管理与净资产追踪应用。

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

轻量高速的 AI 网关，Rust 核心配 Python SDK，统一调用 100+ LLM API 并支持负载均衡与成本追踪。

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

基于 Riru/Zygisk 的 ART 挂钩框架，Xposed 的现代分支实现。

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

语音-文本基座模型与全双工口语对话框架，采用前沿的流式神经音频编解码器 Mimi。

面向工程经理（Engineering Manager）的精选学习与工作资源列表。

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

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

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

Flutter 原生 After Effects 动画渲染库，纯 Dart 实现的 Lottie 播放器。

按公司分类的 LeetCode 题目清单，基于官方企业标签整理为 CSV 文件。

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