20 रिपॉजिटरी
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 20 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 provides guided training programs and curricula centered on distributed database design, systems programming, and open source contribution workflows. The project offers a distributed systems education program consisting of curated courses and labs focused on database internals. The curriculum emphasizes the use of the Rust language for building high-performance networked applications and implementing distributed algorithms. It integrates educational materials on version control, community governance, and the specific processes required to contribute to public software projects. T
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 is an OCI container runtime written in Rust. It implements the Open Container Initiative runtime specification to manage the lifecycle of containerized processes and ensure compatibility with standard container images and engines. The runtime is designed for memory safety and supports rootless container execution, allowing containers to run as non-root users to reduce security risks and limit privilege escalation. It provides core container management capabilities, including spawning and managing OCI containers. This is achieved through Linux namespace isolation, cgroup-based resource
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
Provides Rust bindings and runtimes for writing userspace applications including root tasks and Microkit protection domains.
Verso is a private web browser and Rust application designed for secure web browsing. It functions as a webview-based browser that embeds a pre-built engine to render web content without requiring a full browser source compilation. The project includes a cargo dependency manager that organizes Rust dependencies into local source trees. This system enables isolated software packaging by downloading external libraries to ensure the build process remains independent of external registries. The browser integrates a host-engine interface to manage navigation and user interactions. It provides too
Developed as a systems-level application in Rust to leverage memory safety and performance.
OpenLogi is a local-first hardware configuration tool and cross-application input mapper written in Rust. It enables the customization of peripherals using the HID++ protocol, allowing users to manage device settings without the need for cloud accounts or telemetry. The system distinguishes itself by employing a local-first approach, storing all device configurations and button mappings in plain-text files. This design supports manual editing and version control while ensuring that commands are dispatched directly to the hardware memory. The suite covers several hardware management areas, in
Uses Rust for systems programming to ensure memory safety while handling low-level hardware communication.
Linutil एक Rust-आधारित सिस्टम कॉन्फ़िगरेशन टूलबॉक्स है जिसे विभिन्न Linux वितरणों में सॉफ़्टवेयर इंस्टॉलेशन, हार्डवेयर सेटअप और सुरक्षा बेसलाइन प्रवर्तन को स्वचालित करने के लिए डिज़ाइन किया गया है। यह बैच कॉन्फ़िगरेशन जॉब्स को निष्पादित करने और टर्मिनल इंटरफ़ेस के माध्यम से सिस्टम बेसलाइन प्रबंधित करने के लिए एक उच्च-प्रदर्शन यूटिलिटी के रूप में कार्य करता है। यह प्रोजेक्ट एक वितरण-अज्ञेयवादी (distribution-agnostic) सेटअप मैनेजर प्रदान करता है जो उपयोगकर्ताओं को हार्डवेयर पेरिफेरल्स को कॉन्फ़िगर करने और विभिन्न Linux वर्ज़न में डेस्कटॉप एनवायरनमेंट इंस्टॉल करने की अनुमति देता है। इसमें मानकीकृत नेटवर्क ट्रैफ़िक नियमों और सुरक्षा बेसलाइन को लागू करने के लिए एक विशेष फ़ायरवॉल कॉन्फ़िगरेशन टूल शामिल है। टूल की क्षमताएं डेवलपमेंट, संचार और गेमिंग के लिए क्यूरेटेड सॉफ़्टवेयर श्रेणियों की स्वचालित स्थापना को कवर करती हैं। यह मॉनिटर, प्रिंटर और Bluetooth उपकरणों के लिए हार्डवेयर पेरिफेरल कॉन्फ़िगरेशन का भी प्रबंधन करता है, साथ ही गेमिंग एनवायरनमेंट और एमुलेशन के लिए ऑप्टिमाइज़ेशन प्रदान करता है।
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 is a Rust syntax reference and technical documentation resource provided as a static site. It serves as a curated collection of examples and patterns designed to assist with Rust language learning. The project covers a wide range of language constructs, including memory management, the use of generics, and the implementation of asynchronous logic. It provides guidance on defining data structures, managing memory references, and organizing code modules. Additional coverage includes patterns for control flow, pattern matching, and the use of macros, as well as instructions for perfor
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 लाइब्रेरी है। यह एक एसिंक्रोनस स्टैंडर्ड लाइब्रेरी के रूप में कार्य करती है, जो समवर्ती कार्यों (concurrent tasks), नेटवर्किंग और फाइल सिस्टम एक्सेस को मैनेज करने के लिए कोर 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.
This project is an educational platform designed to teach JavaScript programming through a structured, test-driven curriculum. It provides a collection of interactive coding exercises that guide learners through language fundamentals and software development concepts. The platform distinguishes itself by requiring users to verify their understanding of language features by passing automated test suites in real time. By utilizing a server-side runtime environment, the tool executes student code against predefined assertion patterns to provide immediate feedback on correctness. The curriculum
Uses automated test requirements as the primary mechanism for mastering JavaScript language logic.