19 个仓库
Low-level system software implemented in Rust to leverage memory safety and high performance.
Distinct from Rust: Distinct from Rust compilers or general language resources: focuses on using Rust for systems-level software like container runtimes.
Explore 19 awesome GitHub repositories matching operating systems & systems programming · Rust Systems Programming. Refine with filters or upvote what's useful.
xi-editor is a high-performance text editor core written in Rust. It employs a client-server architecture that separates the backend editor logic from the user interface, allowing diverse frontends to communicate with the core via a standardized protocol. The project is distinguished by its use of rope-based text buffers for efficient manipulation of large documents and a collaborative engine powered by conflict-free replicated data types to synchronize concurrent edits. It further features an extensible plugin system that integrates external binaries and third-party tools through JSON-based
Leverages Rust to implement high-performance, low-latency text processing utilities and buffer management.
Xi Editor is a high-performance text editor core written in Rust. It employs a decoupled architecture that separates core logic from the presentation layer using a JSON-based client-server protocol. The project features a language-agnostic plugin system that communicates with external extensions via JSON messages over pipes. It manages text buffers using a persistent rope data structure to enable efficient editing of very large files. The system supports asynchronous editor workflows by running expensive operations in background threads using data snapshots. This prevents background processi
Provides a high-performance editor core implemented in Rust for memory safety and concurrency.
HVM2 is a high-performance execution environment for pure functional programs, implemented as a systems-level runtime in Rust. It functions as a massively parallel functional runtime that uses interaction combinators to achieve automatic parallelism across multi-core CPUs and GPUs. The project distinguishes itself by using a graph-rewriting computational model to execute programs via local reduction rules, which eliminates the need for manual locks or atomic operations. It employs beta-optimal reduction and lazy evaluation to optimize higher-order functions and eliminate redundant computation
Implemented as a systems-level runtime in Rust to leverage zero-cost abstractions and fine-grained memory control.
Talent Plan 提供以分布式数据库设计、系统编程和开源贡献工作流为核心的指导性培训计划和课程。该项目提供了一个分布式系统教育计划,由专注于数据库内部原理的精选课程和实验组成。 该课程强调使用 Rust 语言构建高性能网络应用和实现分布式算法。它整合了关于版本控制、社区治理以及向公共软件项目贡献所需特定流程的教育材料。 该项目涵盖了广泛的技术和组织领域,包括分布式数据库工程、开源社区管理和技术指导协调。它通过构建容错键值存储和研究专业分布式数据库架构来实现实践应用。 其他材料涵盖了开源基础知识,包括项目治理、软件许可,以及使用 Git 和 GitHub 等协作平台。
Provides a path to Rust mastery by building high-performance networked applications and distributed algorithms.
Crossbeam is a concurrency toolkit for Rust providing low-level primitives for writing multi-threaded programs. It focuses on lock-free data structures and memory management primitives designed for shared-memory concurrent environments. The project includes a work-stealing scheduler that uses double-ended queues to balance workloads across multiple processor cores. This system enables the implementation of work-stealing deques to distribute tasks and prevent bottlenecks. The toolkit covers broader capabilities for parallel algorithm development, multi-threaded task scheduling, and general co
Provides a foundational toolkit for high-performance, memory-safe concurrent systems programming in Rust.
Youki 是一个用 Rust 编写的 OCI 容器运行时。它实现了 Open Container Initiative (OCI) 运行时规范,以管理容器化进程的生命周期,并确保与标准容器镜像和引擎的兼容性。 该运行时专为内存安全而设计,并支持无根 (rootless) 容器执行,允许容器以非 root 用户身份运行,从而降低安全风险并限制权限提升。 它提供了核心容器管理能力,包括生成和管理 OCI 容器。这是通过 Linux 命名空间隔离、基于 cgroup 的资源限制以及用户命名空间映射来实现的,从而将进程与宿主操作系统隔离开来。
Uses Rust for systems programming to provide a high-performance, memory-safe container runtime.
Youki is a low-level container runtime written in Rust that creates and manages isolated containers according to Open Container Initiative specifications. It serves as an execution engine that can function as a rootless container manager or a pluggable Kubernetes CRI runtime to manage pods and containers within a cluster. The project distinguishes itself by providing a Wasm container runtime capable of executing WebAssembly modules as isolated workloads compatible with standard orchestration tools. It further supports a rootless execution model, allowing isolated environments to start as non-
Developed in Rust to ensure memory safety and performance when interfacing with low-level Linux kernel features.
Skim is an interactive text filter and terminal selection tool written in Rust. It functions as a command line interface utility that processes input streams to isolate specific entries through real-time user queries and sorting. The tool differentiates itself through ANSI compatibility, allowing it to parse color codes and maintain text formatting during the search process. It supports multiple matching strategies, including configurable fuzzy matching algorithms and regular expression integration. The application covers a broad range of capabilities including field-specific filtering, resu
Leverages Rust's memory safety and performance to ensure low-latency searching during high-volume text processing.
Procs is a high-performance system process monitor and viewer written in Rust. It serves as a replacement for the ps command, providing a command-line interface to track active system processes and their associated CPU and memory metrics. The tool is distinguished by its container awareness, which maps system tasks to their corresponding Docker container names. It also features an interactive process tree to visualize parent and child relationships in a hierarchical layout and a JSON exporter for programmatic data analysis and automation. The monitoring surface includes real-time activity tr
Developed using Rust to ensure memory safety and high performance when interfacing with OS kernels.
seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b
Enables developing verified userspace applications using Rust bindings, runtimes, and target specifications.
Verso 是一个专为安全 Web 浏览而设计的私有 Web 浏览器和 Rust 应用程序。它作为一个基于 Webview 的浏览器,嵌入了一个预构建的引擎来渲染 Web 内容,而无需进行完整的浏览器源码编译。 该项目包含一个 Cargo 依赖管理器,将 Rust 依赖项组织到本地源树中。该系统通过下载外部库来确保构建过程独立于外部注册表,从而实现隔离的软件打包。 该浏览器集成了主机引擎接口来管理导航和用户交互。它提供了用于生成项目依赖项和管理本地源树隔离的工具。
Developed as a systems-level application in Rust to leverage memory safety and performance.
OpenLogi 是一个用 Rust 编写的本地优先硬件配置工具和跨应用输入映射器。它支持使用 HID++ 协议自定义外设,允许用户在无需云账户或遥测的情况下管理设备设置。 该系统通过采用本地优先的方法脱颖而出,将所有设备配置和按键映射存储在纯文本文件中。这种设计支持手动编辑和版本控制,同时确保命令直接分发到硬件内存。 该套件涵盖了多个硬件管理领域,包括物理按键重映射和 DPI 灵敏度预设配置。它包含一个用于创建特定应用配置文件的系统,可根据活动窗口自动切换输入绑定,以及用于控制滚轮行为和电池状态监控的功能。 提供了一个命令行界面,用于管理硬件库存并从连接的设备检索诊断数据。
Uses Rust for systems programming to ensure memory safety while handling low-level hardware communication.
Linutil 是一个基于 Rust 的系统配置工具箱,旨在自动化各种 Linux 发行版上的软件安装、硬件设置和安全基准强制执行。它作为一种高性能实用程序,用于通过终端界面执行批量配置作业并管理系统基准。 该项目提供了一个与发行版无关的设置管理器,允许用户在不同 Linux 版本上配置硬件外设并安装桌面环境。它包含一个专门的防火墙配置工具,用于应用标准化的网络流量规则和安全基准。 该工具的功能涵盖了针对开发、通信和游戏等精选软件类别的自动化安装。它还管理显示器、打印机和蓝牙设备的硬件外设配置,同时为游戏环境和模拟提供优化。
Leverages Rust's systems programming capabilities to build a high-performance utility for system configuration.
Ziglings is an interactive coding course and tutorial designed to teach the Zig programming language. It functions as a test-driven learning tool that guides users through a sequence of incremental exercises to master language syntax and semantics. The project provides a series of small, broken programs that learners must fix. Progress is achieved by modifying the code until it satisfies predefined requirements and passes associated automated tests. The educational experience is supported by a shell-based test runner and local compiler execution to provide immediate feedback. It utilizes a f
Enables practicing syntax and logic by modifying code until it satisfies predefined automated tests.
cheats.rs 是一个以静态网站形式提供的 Rust 语法参考和技术文档资源。它作为一个精选的示例和模式集合,旨在辅助 Rust 语言学习。 该项目涵盖了广泛的语言结构,包括内存管理、泛型使用以及异步逻辑的实现。它提供了关于定义数据结构、管理内存引用和组织代码模块的指导。 其他内容包括控制流、模式匹配和宏使用的模式,以及执行不安全操作和维护 API 稳定性的说明。
Provides a curated reference for implementing non-blocking logic and futures for concurrent execution.
sudo-rs 是一个用 Rust 编写的底层系统实用程序和特权命令执行器。它提供了 sudo 和 su 的内存安全实现,用于以超级用户或其他用户权限运行程序,并将会话权限切换到其他本地用户身份。 该项目与内核安全模块集成,充当沙盒进程启动器,在执行期间限制系统资源和进程能力。 该实用程序包括对多语言系统本地化的支持,利用编译后的消息目录根据系统区域设置提供翻译后的用户界面文本。
Implemented as low-level system software in Rust to ensure memory safety and high performance for privileged operations.
async-std 是一个 Rust 异步运行时和非阻塞 I/O 库。它作为一个异步标准库,提供了一组核心 Rust 库的替代方案,用于管理并发任务、网络和文件系统访问。 该项目实现了与标准库镜像的 API,提供现有同步类型的异步版本以保持熟悉的接口。这种方法允许使用反映语言标准库人体工程学的接口进行异步 Rust 开发。 该运行时包括一个用于跨多个线程调度和执行异步操作的任务执行器。其功能表面涵盖并发任务执行、非阻塞输入和输出操作以及常规运行时管理。
Provides a specialized environment for non-blocking I/O and concurrency in Rust.
nix is a Unix system API library and Rust system programming interface that provides type-safe bindings for invoking low-level system calls. It serves as a low-level operating system wrapper and POSIX compatibility layer, allowing for kernel interactions and administrative tasks through safe wrappers around platform-specific APIs. The project provides a kernel device interface for controlling hardware devices, managing kernel modules, and configuring terminal interfaces. It differentiates itself by offering type-safe wrappers for memory mapping and zero-copy input-output operations to reduce
Provides a comprehensive Rust system programming interface with type-safe bindings for invoking low-level Unix system calls.
This project provides a development framework for writing loadable Linux kernel modules using the Rust programming language. It establishes a methodology for safe systems programming by enforcing memory and thread safety within the restricted execution environment of the kernel, allowing developers to extend operating system functionality while preventing common memory corruption errors. The framework distinguishes itself through automated generation of type-safe foreign function interfaces, which bridge high-level code with low-level kernel headers and system structures. It maps high-level s
Leverages language safety guarantees to build low-level system components that interact directly with kernel interfaces.