19 repository-uri
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 oferă programe de formare ghidate și curricule centrate pe designul bazelor de date distribuite, programarea sistemelor și fluxurile de lucru pentru contribuții open source. Proiectul oferă un program de educație în sisteme distribuite constând în cursuri și laboratoare axate pe mecanismele interne ale bazelor de date. Curriculum-ul pune accent pe utilizarea limbajului Rust pentru construirea de aplicații de rețea de înaltă performanță și implementarea algoritmilor distribuiți. Acesta integrează materiale educaționale despre version control, guvernanța comunității și procesele specifice necesare pentru a contribui la proiecte software publice. Proiectul acoperă domenii tehnice și organizaționale vaste, inclusiv ingineria bazelor de date distribuite, gestionarea comunităților open source și coordonarea mentoratului tehnic. Include aplicarea practică prin construirea de key-value store-uri tolerante la erori și studiul arhitecturilor profesionale de baze de date distribuite. Materialele suplimentare acoperă fundamentele open source, inclusiv guvernanța proiectelor, licențierea software și utilizarea platformelor colaborative precum Git și 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 este un runtime de containere OCI scris în Rust. Acesta implementează specificația de runtime Open Container Initiative pentru a gestiona ciclul de viață al proceselor containerizate și a asigura compatibilitatea cu imaginile și motoarele de containere standard. Runtime-ul este conceput pentru siguranța memoriei și suportă execuția containerelor rootless, permițând containerelor să ruleze ca utilizatori non-root pentru a reduce riscurile de securitate și a limita escaladarea privilegiilor. Oferă capabilități de bază de gestionare a containerelor, inclusiv crearea și gestionarea containerelor OCI. Acest lucru este realizat prin izolarea namespace-urilor Linux, limitarea resurselor bazată pe cgroup și maparea namespace-urilor de utilizator pentru a partiționa procesele de sistemul de operare gazdă.
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 este un monitor și vizualizator de procese de sistem de înaltă performanță scris în Rust. Acesta servește drept înlocuitor pentru comanda ps, oferind o interfață în linie de comandă pentru a urmări procesele active ale sistemului și metricile asociate de CPU și memorie. Instrumentul se distinge prin conștientizarea containerelor, mapând sarcinile sistemului la numele containerelor Docker corespunzătoare. De asemenea, dispune de un arbore de procese interactiv pentru a vizualiza relațiile părinte-copil într-un layout ierarhic și un exportator JSON pentru analiza programatică a datelor și automatizare. Suprafața de monitorizare include urmărirea activității în timp real prin polling bazat pe intervale, filtrare prin cuvinte cheie și expresii regulate, și sortare bazată pe metrici. Utilizatorii pot personaliza experiența prin fișiere de configurare TOML pentru a gestiona coloanele de output, temele de culori și alinierea vizuală. Utilitarul include generarea de completare shell pentru mai multe shell-uri de linie de comandă și se integrează cu pagerele de sistem pentru navigarea listelor lungi de procese.
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 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 este un instrument de configurare hardware local-first și un mapper de input cross-application scris în Rust. Permite personalizarea perifericelor folosind protocolul HID++, permițând utilizatorilor să gestioneze setările dispozitivelor fără a avea nevoie de conturi cloud sau telemetrie. Sistemul se distinge prin abordarea local-first, stocând toate configurațiile dispozitivelor și mapările butoanelor în fișiere text simplu. Acest design suportă editarea manuală și version control-ul, asigurând în același timp că comenzile sunt trimise direct în memoria hardware-ului. Suita acoperă mai multe arii de gestionare hardware, inclusiv remapparea butoanelor fizice și configurarea presetărilor de sensibilitate DPI. Include un sistem pentru crearea de profiluri specifice aplicațiilor care comută automat binding-urile de input în funcție de fereastra activă, precum și controale pentru comportamentul rotiței de scroll și monitorizarea stării bateriei. Este oferită o interfață CLI pentru gestionarea inventarului hardware și preluarea datelor de diagnostic de la dispozitivele conectate.
Uses Rust for systems programming to ensure memory safety while handling low-level hardware communication.
Linutil este o cutie de instrumente de configurare a sistemului bazată pe Rust, concepută pentru a automatiza instalarea software-ului, configurarea hardware-ului și aplicarea bazelor de securitate pe diverse distribuții Linux. Funcționează ca un utilitar de înaltă performanță pentru executarea sarcinilor de configurare în lot și gestionarea bazelor de sistem printr-o interfață de terminal. Proiectul oferă un manager de configurare agnostic față de distribuție care permite utilizatorilor să configureze perifericele hardware și să instaleze medii desktop pe diferite versiuni de Linux. Include un instrument specializat de configurare a firewall-ului pentru aplicarea regulilor de trafic de rețea standardizate și a bazelor de securitate. Capabilitățile instrumentului acoperă instalarea automată a categoriilor de software selectate pentru dezvoltare, comunicare și gaming. De asemenea, gestionează configurarea perifericelor hardware pentru monitoare, imprimante și dispozitive Bluetooth, oferind în același timp optimizări pentru mediile de gaming și emulare.
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 este o resursă de referință pentru sintaxa Rust și documentație tehnică, oferită sub formă de site static. Acesta servește ca o colecție curată de exemple și tipare concepute pentru a asista la învățarea limbajului Rust. Proiectul acoperă o gamă largă de constructe ale limbajului, inclusiv gestionarea memoriei, utilizarea genericelor și implementarea logicii asincrone. Oferă îndrumări privind definirea structurilor de date, gestionarea referințelor de memorie și organizarea modulelor de cod. Acoperirea suplimentară include tipare pentru control flow, pattern matching și utilizarea macro-urilor, precum și instrucțiuni pentru efectuarea operațiilor unsafe și menținerea stabilității API-ului.
Provides a curated reference for implementing non-blocking logic and futures for concurrent execution.
sudo-rs este un utilitar de sistem low-level și un executor de comenzi privilegiate scris în Rust. Acesta oferă o implementare sigură pentru memorie a sudo și su pentru rularea programelor cu permisiuni de superuser sau utilizator alternativ și comutarea privilegiilor de sesiune către alte identități de utilizator locale. Proiectul se integrează cu modulele de securitate ale kernel-ului pentru a funcționa ca un lansator de procese sandbox, restricționând resursele sistemului și capabilitățile procesului în timpul execuției. Utilitarul include suport pentru localizarea sistemului în mai multe limbi, utilizând cataloage de mesaje compilate pentru a oferi text de interfață tradus în funcție de setările regionale ale sistemului.
Implemented as low-level system software in Rust to ensure memory safety and high performance for privileged operations.
async-std este un runtime asincron Rust și o bibliotecă de I/O non-blocantă. Servește drept bibliotecă standard asincronă, oferind un set de alternative la biblioteca principală Rust pentru gestionarea sarcinilor concurente, a rețelelor și a accesului la sistemul de fișiere. Proiectul implementează un API oglindit după biblioteca standard, oferind versiuni asincrone ale tipurilor sincrone existente pentru a menține o interfață familiară. Această abordare permite dezvoltarea asincronă în Rust folosind o interfață care reflectă ergonomia bibliotecii standard a limbajului. Runtime-ul include un executor de sarcini pentru programarea și executarea operațiunilor asincrone pe mai multe fire de execuție. Suprafața sa de capabilități acoperă execuția sarcinilor concurente, operațiuni de intrare și ieșire non-blocante și gestionarea generală a runtime-ului.
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.
Acest proiect oferă un framework de dezvoltare pentru scrierea modulelor de kernel Linux încărcabile folosind limbajul de programare Rust. Stabilește o metodologie pentru programarea sigură a sistemelor prin impunerea siguranței memoriei și a firelor de execuție în mediul restricționat al kernel-ului, permițând dezvoltatorilor să extindă funcționalitatea sistemului de operare prevenind în același timp erorile comune de corupere a memoriei. Framework-ul se distinge prin generarea automată de interfețe de funcții străine (FFI) sigure din punct de vedere al tipurilor, care fac legătura între codul de nivel înalt și headerele sau structurile de sistem de nivel scăzut ale kernel-ului. Acesta mapează constructele de sincronizare de nivel înalt direct la mecanismele native de blocare ale kernel-ului, asigurându-se că datele partajate rămân protejate în mai multe fire de execuție și contexte de întrerupere. Setul de instrumente se integrează cu pipeline-urile native de build ale kernel-ului pentru a gestiona compilarea și link-area codului sursă în obiecte binare. Oferind abstracții sigure pentru interfațarea cu hardware-ul și mediile cu resurse limitate, acesta susține crearea de drivere de dispozitiv și componente de sistem fiabile, care mențin reguli stricte de proprietate și împrumut la momentul compilării.
Leverages language safety guarantees to build low-level system components that interact directly with kernel interfaces.