152 Repositories
Rust operating-systems Libraries
Portable linked-list allocator designed for baremetal systems
Palloc Portable linked-list allocator for embedded / baremetal systems. Using the crate Include this in the [dependencies] section of Cargo.toml pallo
Verified Rust for low-level systems code
See Goals for a brief description of the project's goals. Building the project The main project source is in source. tools contains scripts for settin
A supposed operating system.
mold This supposedly does something. Building This project is using a simple build script written in fish, which automates the process of compiling th
A small operating system, for my own learning
taos This project is the result of following Philipp Oppermann's series of tutorials in building a small operating system kernel targeting x86-64, alo
Nimbus is a framework for building parachain consensus systems on cumulus-based parachains.
Cumulo -- Nimbus ⛈️ Nimbus is a framework for building parachain consensus systems on cumulus-based parachains. Given the regular six-second pulse-lik
An attempt at an operating system written in Rust
Rust Operating System An attempt at a simple operating system in Rust and a semester project for the Operating Systems course at CS@UCU. Documentation
A simples rust operating system that prints hello world.
rust-os-helloworld A simples rust operating system that prints hello world. Just run: cargo install bootimage and: cargo bootimage Install QEMU and: q
`fugit` provides a comprehensive library of `Duration` and `Instant` for the handling of time in embedded systems, doing all it can at compile time.
fugit fugit provides a comprehensive library of Duration and Instant for the handling of time in embedded systems, doing all it can at compile time. T
QueingSimulator is an application that can be used to build intuitions about behavior of synchronous request/reply systems
Queueing Simulator QueingSimulator is an application that can be used to build intuitions about behavior of synchronous request/reply systems (such as
Xrs is a POSIX-subset operating system kernel written in Rust.
XRS-OS ( 🚧 WIP) Xrs is a POSIX-subset operating system kernel written in Rust. Current project team members 0x5459 core developer (he/him) 0x5457 cor
Buildomat manages the provisioning of ephemeral UNIX systems on which to run software builds
B U I L D O M A T a software build labour-saving device Buildomat manages the provisioning of ephemeral UNIX systems (e.g., instances in AWS EC2) on w
The labs of Raft consensus algorithm based on MadSim.
MadRaft The labs of Raft consensus algorithm based on MadSim. Some codes are derived from MIT 6.824 and PingCAP Talent Plan: Raft Lab. Thanks for thei
Dog command for *nix systems, Rust port of dog.
dog-rs Dog command for *nix systems, Rust port of dog. Because there is a cat command, should be a dog command too. It was written completely using VS
Learn to write an embedded OS in Rust
Operating System development tutorials in Rust on the Raspberry Pi
MimiRust - Hacking the Windows operating system to hand us the keys to the kingdom with Rust.
MimiRust - Hacking the Windows operating system to hand us the keys to the kingdom with Rust. MimiRust is a program based on the wdigest attack vector
The lightest distributed consensus library. Run your own replicated state machine! ❤️
Little Raft The lightest distributed consensus library. Run your own replicated state machine! ❤️ Installing Simply import the crate. In your Cargo.to
SteinsOS is an operating system written in Rust
SteinsOS is an operating system featuring non-preemptive kernel targeting on single-core armv8 architecture.
Magical Automatic Deterministic Simulator for distributed systems in Rust.
MadSim Magical Automatic Deterministic Simulator for distributed systems. Deterministic simulation MadSim is a Rust async runtime similar to tokio, bu
Geng wanzheng ([a] more complete) asynchronous operating system
更完整系统(GWZOS) 更完整系统的目的是编写一个异步功能完整的异步操作系统。我们希望尽可能完整地实现异步内核的核心概念,提供相应的驱动、软件生态系统,为未来内核的设计探索可能的实现方案。对比不同解决方案的性能开销,得到较详细的内核验证结论。 感谢大家对项目的支持!接龙链接 设计文档请参考: 无相
Voila is a domain-specific language launched through CLI tool for operating with files and directories in massive amounts in a fast & reliable way.
Voila is a domain-specific language designed for doing complex operations to folders & files. It is based on a CLI tool, although you can write your V
The official kernel for Popcorn OS, and operating system designed for handheld devices.
About Popkern is the kernel for Popcorn OS, an operating system designed for handheld devices. As such, the kernel is (to be) optimised at all levels
delicate A lightweight and distributed task scheduling platform written in rust
A lightweight and distributed task scheduling platform written in rust.
Deep recommender systems for Rust
sbr An implementation of sequence recommenders based on the wyrm autdifferentiaton library. sbr-rs sbr implements efficient recommender algorithms whi
Xaynet represents an agnostic Federated Machine Learning framework to build privacy-preserving AI applications.
xaynet Xaynet: Train on the Edge with Federated Learning Want a framework that supports federated learning on the edge, in desktop browsers, integrate
sparse linear algebra library for rust
sprs, sparse matrices for Rust sprs implements some sparse matrix data structures and linear algebra algorithms in pure Rust. The API is a work in pro
a prototype crate for creating modular and performant 3D CPU particle systems, inspired by Unity's Shuriken Particle System.
bevy_prototype_particles This is a prototype crate for creating modular and performant 3D CPU particle systems, inspired by Unity's Shuriken Particle
Mote is a systems-programming language designed to be practical, performant, and simple.
Mote NOTE: this following lists the goals for what Mote is supposed to be. It does not promise that any of the features here will be accomplished or a
Operating system written in Rust for NumWorks calculator (model n0110)
RustWorks An OS (eventually) for the Numworks calculator (model n0110). Setup First install Rust by following these instuctions then: rustup target ad
A model checker for implementing distributed systems.
A model checker for implementing distributed systems.
This is an implementation defining standard for client-side-validation
Client-side-validation Foundation Libraries This is an implementation defining standard of client-side-validation representing a set of its Foundation
Rustpad is an efficient and minimal collaborative code editor, self-hosted, no database required
Rustpad is an efficient and minimal open-source collaborative text editor based on the operational transformation algorithm
A single-threaded polling-based Rust async executor suitable for use in games, embedded systems or WASM.
simple async local executor An Enlightware® software. Overview A single-threaded polling-based executor suitable for use in games, embedded systems or
A new operating system kernel with Linux binary compatibility written in Rust.
Kerla Kerla is a monolithic operating system kernel from scratch in Rust which aims to be compatible with the Linux ABI, that is, runs Linux binaries
Rust implementation to simply convert between coordinate systems
GeoMorph Simple conversion between different coordinate systems without external wrappers
RiteRaft - A raft framework, for regular people
RiteRaft - A raft framework, for regular people This is an attempt to create a layer on top of tikv/raft-rs, that is easier to use and implement. This
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware in order to maximally leverage the power of language safety, and thus shift OS responsibilities (resource management) into the compiler.
Theseus OS Theseus is a new OS written from scratch in Rust to experiment with novel OS structure, better state management, and how to shift OS respon
Aero is a new modern, unix based operating system. It is being developed for educational purposes.
Areo Aero is a new modern, unix based operating system written in Rust and is being developed for educational purposes. Aero follows the monolithic ke
Xaynet represents an agnostic Federated Machine Learning framework to build privacy-preserving AI applications.
xaynet Xaynet: Train on the Edge with Federated Learning Want a framework that supports federated learning on the edge, in desktop browsers, integrate
memory-mapped registers for x86_64 systems
regmap some well-known and known-to-be-good computer architectures, such as the Microchip PIC product line, or many of the AVR processor family, were
A prototype implementation of the Host Identity Protocol v2 for bare-metal systems, written in pure-rust.
Host Identity Protocol for bare-metal systems, using Rust I've been evaluating TLS replacements in constrained environments for a while now. Embedded
Open Source Rust kernel; Runs WASM and WASI as lightweight containers.
😳 etheryal Kernel etheryal kernel is an Open Source capability-based Kernel written in the Rust programming language. The kernel allows implementing
Operating System development tutorials in Rust on the Raspberry Pi
Operating System development tutorials in Rust on the Raspberry Pi
Rust crate for performing coordinate transforms
Synopsis A Rust crate use for performing coordinate transformations. The crate relies on nalgebra vectors to perform the coordinate transformations. C
Low-level Rust library for implementing terminal command line interface, like in embedded systems.
Terminal CLI Need to build an interactive command prompt, with commands, properties and with full autocomplete? This is for you. Example, output only
The Stupid Operating System
Stupid Operating System SOS is a simple, tiny toy OS implemented in Rust. I'm writing this mostly for fun, to learn more about OS design and kernel ha
A hobby operating system, in Rust
intermezzOS: kernel intermezzOS is a hobby operating system. This repository is for its kernel. See the website for more. License This project is dual
A secure embedded operating system for microcontrollers
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded
Mirror of https://gitlab.redox-os.org/redox-os/redox
Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to b
A secure embedded operating system for microcontrollers
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on Cortex-M and RISC-V based embedded
(Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Read this (from the creator of Nebulet) Hi everyone, It's been a while since I've looked at this repository. Nebulet is not in active development, and
A comparison of operating systems written in Rust
Rust OS comparison A comparison of operating systems written in Rust. There are several open source operating systems written in Rust. Most of them ar
Materialize simplifies application development with streaming data. Incrementally-updated materialized views - in PostgreSQL and in real time. Materialize is powered by Timely Dataflow.
Materialize is a streaming database for real-time applications. Get started Check out our getting started guide. About Materialize lets you ask questi