搜索结果：is（319 个）

Unison 是一门静态类型的现代函数式编程语言，主要解决传统开发中漫长的编译等待和繁琐的代码合并冲突问题。其核心是“内容寻址代码”机制，通过实现哈希而非名称来定位函数，并将 AST 存入数据库，从而实现近乎零等待的增量编译、测试结果完美缓存以及无冲突的语义级重命名。

基于 Rust 开发的生产级交易引擎，采用确定性事件驱动架构。

macOS 离线语音转文字应用，无需订阅，Superwhisper 与 Wispr Flow 的开源替代方案。

macOS 语音听写应用。

CVPR 2024 论文 MagicAnimate 官方仓库：基于扩散模型的时序一致人物图像动画生成。

支持一次性生成超逼真对话的 TTS（文本转语音）模型。

NetLogo 是一个基于 Scala 开发的多主体建模（ABM）仿真平台。它主要面向学生、教师和科研人员，用于模拟和探索复杂系统。平台核心通过海龟（turtles）、网格（patches）和链接（links）等基本要素，支持低门槛地构建、运行与可视化复杂的交互式主体模型。

基于 PyTorch 实现的图像到图像转换算法（CycleGAN 与 pix2pix）。

微软官方推出的 AI 入门教程，涵盖 12 周共 24 节基础课程。

基于视觉模型的 OCR 与文档内容提取工具。

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

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

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

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

ACM MM 2020 论文 Wav2Lip 官方源码，实现真实场景下的语音到唇形同步生成。

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

整理了各类计算机科学（CS）视频讲座的精品课程列表。

旨在复现 OpenAI 文本生成视频（T2V）模型 Sora 的开源项目。

〔中文简介暂未生成〕 Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

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