搜索结果：rust（13 个）

Google Android 团队内部使用的 Rust 快速入门与教学课程资料。

讲解深入浅出、示例生动贴切的高质量 Rust 中文学习教程。

关于分布式数据库与分布式系统的开源培训课程。

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

一款面向命令行的交互式备忘清单（cheatsheet）工具。

**wire-server** 是即时通讯应用 Wire 的开源后端服务项目，主要供开发者自建和部署专属的 Wire 服务端。 它涵盖了运行系统所需的核心微服务与库，包括反向代理、账户与团队管理、会话处理、文件资产存储、推送通知及单点登录（SSO）等功能。

用 Rust 语言实现的各类算法集合。

驱动 X 平台“为您推荐（For You）”信息流的推荐算法核心代码。

Anki 是一款基于间隔重复算法的智能记忆卡片软件，通过科学规划复习时间，帮助用户高效且长久地记忆知识。

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

Rust By Practice 项目正演变为 Origin。

兼顾灵活性、高效性与跨平台特性的 Rust 深度学习框架。

动画图解、一键运行的数据结构与算法教程，支持多语言及多种编程语言代码实现。