153 Repositories
Rust operating-systems Libraries
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
The Concrete Programming Language Most ideas come from previous ideas - Alan C. Kay, The Early History Of Smalltalk In the realm of low-level programm
Microscopic fetch tool in Rust, for NixOS systems, with special emphasis on speed
Microfetch Stupidly simple, laughably fast fetch tool. Written in Rust for speed and ease of maintainability. Runs in a fraction of a millisecond and
Rust virtual machine.
EtherVM A lightweight, efficient virtual machine implementation in Rust, designed for educational purposes and as a foundation for more complex emulat
interactive l-systems explorer
l-systems explorer An interactive L-systems explorer using nannou and egui. Inspired by lsys. how to run cargo run --release shortcuts Pan: click + d
A reactive runtime for embedded systems.
Actuate Examples A reactive diagram for robotics and control systems. Actuate leverages Rust's type system to create an efficient diagram that connect
This tool allows you to open one or more notebooks in Visual Studio and go hog wild exploring your systems in Bevy.
Bevyrly Bevy is rly useful, but requires some hygiene! Pronounced as /ˈbɛvə(ɹ)li/, derives from Old English, combining befer ("beaver") and leah ("cle
Spider ported to Node.js
spider-rs The spider project ported to Node.js Getting Started npm i @spider-rs/spider-rs --save import { Website, pageTitle } from "@spider-rs/spider
🛠️ An experimental functional systems programming language, written in Rust and powered by LLVM as a backend.
An experimental functional systems programming language, written in Rust, and powered by LLVM as a backend. 🎯 Goal: The intent is to create a program
Master Rust programming with this comprehensive roadmap
🚀 Master Rust programming with this comprehensive roadmap! Explore fundamental and advanced concepts, code examples, and resources.
NodeCraft - Crafting seamless node operations for distributed systems
NodeCraft Crafting seamless node operations for distributed systems, which provides foundational traits for node identification and address resolution
CosmOS - experimental operating system written in Rust.
CosmOS A simple operating system written in Rust. Table of Contents CosmOS Setup QEMU Run OS dev resources General Bootloader Setup Linux Arch pacman
plugy empowers you to construct agnostic dynamic plugin systems using Rust and WebAssembly.
plugy plugy is a plugin system designed to enable the seamless integration of Rust-based plugins into your application. It provides a runtime environm
F-Fetch targets low systems. Written in Rust. It's very simple, designed so you can pick it up and replace it.
F-Fetch F-Fetch targets low systems. Written in Rust. It's very simple, designed so you can pick it up and replace it. First Look ~/.config/ffetch/con
Chess implemented entirely in the Rust and TS type systems.
Type System Chess This repo contains chess implemented entirely in the (stable) Rust and Typescript type systems. Both languages feature turing comple
A hobby operating system written in Zig & C that reimagines classic UNIX ideas for modern technology
zorroOS is a hobby operating system written in Zig, currently targeting x86_64 PCs. Building Building zorroOS is simple. First, ensure that you have t
A K8s-optimized operating system, based on CoreOS
Kanopy Ultramarine Kanopy is a lightweight and easy to setup operating system optimized for Kubernetes. It is based on Ultramarine Linux, a Fedora rem
simple operating system written in Rust with wasi support.
Agave OS Agave OS is a simple operating system written in Rust with wasi support. It is designed to be lightweight and easy to use. It is also designe
SQLite extension for working with operating system's clipboard (copy/paste functions)
SQLite extension for working with operating system's clipboard This extension adds the following functions to SQLite: Copy Paste Long name CLIPBOARD_C
Kryptokrona SDK in Rust for building decentralized private communication and payment systems.
Kryptokrona Rust SDK Kryptokrona is a decentralized blockchain from the Nordic based on CryptoNote, which forms the basis for Monero, among others. Cr
Rust library provides a standalone implementation of the ROS (Robot Operating System) core
ROS-core implementation in Rust This Rust library provides a standalone implementation of the ROS (Robot Operating System) core. It allows you to run
An experimental modular OS written in Rust.
ArceOS An experimental modular operating system (or unikernel) written in Rust. ArceOS was inspired a lot by Unikraft. 🚧 Working In Progress. Feature
The fly.io distributed systems challenges solved in Rust
The fly.io distributed systems challenges solved in Rust. Live-streamed in https://youtu.be/gboGyccRVXI License Licensed under either of Apache Licens
A collection of comparison-benchmarks for Nova & related Proving systems
Nova benchmarks Here's a list of some of the benchmarks we've been taking to better understand how Nova performs vs other proof systems. Live version:
Operating system based off of blog_os, with the goal of running wasm modules as executables
yavkOS - A OS that attempts at running WASM modules as userspace programs Recommended Development Environment You need nix with the flakes, and nix-co
A natural language shell interface for *nix systems
Orphic A natural language shell interface for *nix systems. Overview Orphic is a CLI tool that uses GPT to translate complex tasks into shell commands
Superviseur - A simple process supervisor for UNIX-like systems
A simple process supervisor for UNIX-like systems. Currently supports non-containerized services. Containerized services and wasm services will be supported in the future.
The Amp programming language: a language designed for building high performance systems.
A language designed for building high performance systems. Platform Support x86_64-pc-windows ✅ x86_64-unknown-linux ⚠️ untested x86_64-unknown-darwin
Raw C Shell: interact with your operating system using raw C code, because why not?
rcsh Raw C Shell is a minimalist shell with no built in commands. You write entirely in C code and use return; to execute your code. Unlike that silly
Open-source Rust framework for building event-driven live-trading & backtesting systems
Barter Barter is an open-source Rust framework for building event-driven live-trading & backtesting systems. Algorithmic trade with the peace of mind
EVA ICS v4 is a new-generation Industrial-IoT platform for Industry-4.0 automated control systems.
EVA ICS v4 EVA ICS® v4 is a new-generation Industrial-IoT platform for Industry-4.0 automated control systems. The world-first and only Enterprise aut
A simple to use rust package to generate or parse Twitter snowflake IDs,generate time sortable 64 bits unique ids for distributed systems
A simple to use rust package to generate or parse Twitter snowflake IDs,generate time sortable 64 bits unique ids for distributed systems (inspired from twitter snowflake)
A distributed network for cloud-native services
fólkvangr A distributed network for cloud-native services About Fólkvangr started out as a way to build social networks that were secure and decentral
🌃 Shade is an operating system written for the communication.
🌃 Shade Shade is an operating system written for the communication. 📃 Experiencing Building Requirements System: Windows, Linux or macOS. Memory: 1G
rpsc is a *nix command line tool to quickly search for file systems items matching varied criterions like permissions, extended attributes and much more.
rpsc rpsc is a *nix command line tool to quickly search for file systems items matching varied criterions like permissions, extended attributes and mu
Writing an OS in Rust, To Study Operating System and Computer System
Hun Os Writing an OS in Rust, To Study Operating System and Computer System Reference Os Written In Rust https://github.com/seonghun-dev/blog_os https
Assignments of Stanford CS110L-2020spr: Safety in Systems Programming
CS110L Spring 2020: Safety in Systems Programming 课程简介 CS110L将带领我们学习 Rust ,这是一门注重 安全、性能、工程 的语言。 Why Rust? 我的浅显理解是:Rust 被设计出来旨在解决目前系统级编程的困难,其特征 “安全、性能、
An operating system written in Rust (for fun and educational purposes)
Prestige Prestige is an operating system written for fun and educational purposes in Rust. It targets the x86-64 architecture and can run on common em
Hobby OS written in rust ( 🚀 blazingly fast 🚀 ).
pess-OS hobby OS written in rust ( 🚀 blazingly fast 🚀 ). Building from Source Prequsities QEMU Rust (nightly), preferably through rustup Step-by-Ste
Simulator of viral infection spread and containment in cell monolayer.
Overview VIS-A-VIS is an agent-based simulator of viral infection spread and viral infection self-containment in a monolayer of cell. The simulation m
Stream-based visual programming language for systems observability
Stream-based visual programming language for systems observability. Metalens allows to build observability programs in a reactive and visual way. On L
A certificate verification library for rustls that uses the operating system's verifier
rustls-platform-verifier A Rust library to verify the validity of TLS certificates based on the operating system's certificate facilities. On operatin
A simple web server(and library) to display server stats over HTTP and Websockets/SSE or stream it to other systems.
x-server-stats A simple web server(and library) to display server stats over HTTP and Websockets/SSE or stream it to other systems. x-server(in x-serv
A certificate verification library for rustls that uses the operating system's verifier
rustls-platform-verifier A Rust library to verify the validity of TLS certificates based on the operating system's certificate facilities. On operatin
Work-in-progress software for managing the Azeron keypad on any operating system.
azeron-cli A small, unfinished CLI application intended to manage the Azeron Cyborg. The code is still in a very messy state and doesn't look very rus
A toy event store and event messaging system.
RDeeBee Follow this blog series for more details on this project. This system is inspired by Martin Kleppman's arguments that Event Sourcing system an
Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.
ekv Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree. Features None yet TODO Everything Minimum supported Rust version (MSRV
SCEMU The crates.io lib, x86 cpu and systems emulator focused mainly for anti-malware
SCEMU Usage Download the maps32.zip or maps64.zip from: https://github.com/sha0coder/scemu/releases/download/maps/maps32.zip https://github.com/sha0co
The LIZARD operating system.
lizardOS The LIZARD operating system. What is a LIZARD? L - Lit I - Incredible Z - Zesty A - Awesome R - Real-time D - Kernel Alternative answer A MIS
Design token framework — adopt a unified design language across platforms, codebases, and teams
Palette Design tokens framework with atomic classes for React and Master CSS. Deliver a consistent visual identity across your apps with design tokens
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
Checks whether the process is running as root/sudo/admin permission in Windows and Unix systems
Is_sudo Checks if program is running as sudo in unix systems, or using admin permission in windows. Usage use is_sudo::check; use is_sudo::RunningAs;
MnemOS - A small operating system
MnemOS This repository is for the MnemOS Operating System. Currently, MnemOS is being rewritten as part of the v0.2 version. The current source may no
A type-safe, high speed programming language for scalable systems
A type-safe, high speed programming language for scalable systems! (featuring a cheesy logo!) note: the compiler is unfinished and probably buggy. if
The Operating System built for modern humans!
What is QuantumOS? Quantum OS is a continuation project of my ever loving joy for operating system development. I started with a project called Fluxed
Amethyst is a systems language aimed at being simple, small, portable, and safe.
amethyst Amethyst is a systems language aimed at being simple, small, portable, and safe. What is this language? From the r/ProgLangs discord server:
Habitat is open source software that creates platform-independent build artifacts and provides built-in deployment and management capabilities.
Habitat is open source software that creates platform-independent build artifacts and provides built-in deployment and management capabilities. The go
Mini operating system with a graphical interface, for x64 platforms, in Rust and Assembly
osmini Mini operating system with a graphical interface, for x64 platforms, in Rust and Assembly Build Don't forget to install the dependencies. This
Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.
Spacedrive A file explorer from the future. spacedrive.com » Download for macOS · Windows · Linux · iOS · watchOS · Android ~ Links will be added once
chain nats.io servers with transformation & processing pipelines
NATS proxy service Simple tool to forward specific topics from one nats.io cluster to the same server or another. Provides support to process messages
The Twizzler Operating System
The Twizzler Operating System Twizzler is a research operating system designed to explore novel programming models for new memory hierarchy designs. W
🚀 Fleet is the blazing fast build tool for Rust
Fleet is the blazing fast build tool for Rust. Compiling with Fleet is up-to 5x faster than with cargo.
Artifact collection tool for *nix systems
fennec is an artifact collection tool written in Rust to be used during incident response on *nix based systems. fennec allows you to write a configuration file that contains how to collect artifacts.
Open your operating system's file browser from Garry's Mod.
Open your operating system's file browser from Garry's Mod.
High Assurance Rust - A free book about developing secure and robust systems software.
High Assurance Rust - A free book about developing secure and robust systems software.
Utilities for creating strictly ordered execution graphs of systems for the Bevy game engine
bevy_system_graph This crate provides the utilities for creating strictly ordered execution graphs of systems for the Bevy game engine. Bevy Version S
An experimental real-time operating system (RTOS) written in Rust
An experimental real-time operating system (RTOS) written in Rust
A Real Time Operating System in Rust for Cortex M3 embedded systems
A Real Time Operating System in Rust for Cortex M3 embedded systems
Build SQLite virtual file systems (VFS) by implementing a simple Rust trait.
sqlite-vfs Build SQLite virtual file systems (VFS) by implementing a simple Rust trait. Documentation | Example This library is build for my own use-c
A Rust Operating System, written from the ground up
ThornOS A Rust Operating System, written from the ground up Build Dependencies Bootimage TODO: Document build process in more detail Acknowledgements
Auto Fan Management Utility in Linux Systems for Monster Laptops
Auto Fan Management Utility in Linux Systems for Monster Laptops Monster Laptoplar için Linux Sistemlerde Oto Fan Yönetimi TR Monster laptoplar gömülü
Thalo is an event-sourcing framework for building large scale systems
Thalo Event sourcing framework for building microservices. Overview Thalo is an event-sourcing framework for building large scale systems based on the
Learn Rust black magics by implementing basic types in database systems
Type Exercise in Rust (In Chinese) 数据库表达式执行的黑魔法:用 Rust 做类型体操 This is a short lecture on how to use the Rust type system to build necessary components
A RISC-V and unix-like operating system developed just for fun.
Orca 虎鲸 A RISC-V and unix-like operating system developed just for fun. Schedule [*] bootloader (use RustSBI-qemu) [ ] linker & stack [ ] memory alloc
This Intelligent Transportation Systems (ITS) MQTT client based on the JSon ETSI specification transcription provides a ready to connect project for the mobility
This Intelligent Transportation Systems (ITS) MQTT client based on the JSon ETSI specification transcription provides a ready to connect project for the mobility (connected and autonomous vehicles, road side units, vulnerable road users,...). Let's connect your device or application to our Intelligent Transport Systems (ITS) platform!
This blog provides detailed status updates and useful information about Theseus OS and its development
The Theseus OS Blog This blog provides detailed status updates and useful information about Theseus OS and its development. Attribution This blog was
probe-run is a custom Cargo runner that transparently runs Rust firmware on an embedded device
probe-run Runs embedded programs just like native ones probe-run is a custom Cargo runner that transparently runs Rust firmware on an embedded device.
defmt is a highly efficient logging framework that targets resource-constrained devices, like microcontrollers
defmt defmt ("de format", short for "deferred formatting") is a highly efficient logging framework that targets resource-constrained devices, like mic
Adds zero-cost stack overflow protection to your embedded programs
flip-link adds zero-cost stack overflow protection to your embedded programs The problem Bare metal Rust programs may not be memory safe in presence o
Quickly set up a `probe-run` + `defmt` + `flip-link` embedded project
app-template Quickly set up a probe-run + defmt + flip-link embedded project Dependencies 1. flip-link: $ cargo install flip-link 2. probe-run: $ # ma
a test harness for embedded devices
defmt-test a test harness for embedded devices This crate has been moved to the defmt repository Support defmt-test is part of the Knurling project, F
A concurrency framework for building real-time systems
Real-Time Interrupt-driven Concurrency A concurrency framework for building real-time systems. Formerly known as Real-Time For the Masses. Features Ta
Cap'n Proto is a type system for distributed systems
Cap'n Proto for Rust documentation blog Introduction Cap'n Proto is a type system for distributed systems. With Cap'n Proto, you describe your data an
Rux - An x86_64 toy operating system kernel written in Rust
Rux - An x86_64 toy operating system kernel written in Rust. Rux is a port of the Hux kernel, my x86 32-bit single-CPU toy kernel written in C, following the OSTEP book structure and terminology.
A flexible simple theme manager for *nix systems
tema A theme manager for *nix systems respecting the FHS spec configuration As of now all the configuration is done via $XDG_CONFIG_HOME/tema/config.y
Raft distributed consensus algorithm implemented in Rust.
Raft Problem and Importance When building a distributed system one principal goal is often to build in fault-tolerance. That is, if one particular nod
OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
OpenZKP OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems. Overview Project current implements 🐺 the Stark protocol (see its readme
ArbOS operating system, to run at Layer 2 on Arbitrum chains. Also a compiler for Mini, the language in which ArbOS is written.
ArbOS and Mini compiler ArbOS is the "operating system" that runs at Layer 2 on an Arbitrum chain, to manage the chain's operation, maintain security,
A recommender systems framework for Rust
Quackin Release the quackin! 🦆 Quackin is a recommender systems framework written in Rust. This is a young project, which means two things: There wil
open source training courses about distributed database and distributed systemes
Welcome to learn Talent Plan Courses! Talent Plan is an open source training program initiated by PingCAP. It aims to create or combine some open sour
a collection of well-tested, serializable CRDTs for Rust
crdts: family of thoroughly tested hybrid crdt's. A family of CRDT's supporting both State and Op based replication. what is a CRDT? CRDT's are the so
RCore-Tutorial-v3 - Let's write an OS which can run on RISC-V in Rust from zero!
rCore-Tutorial-v3 rCore-Tutorial version 3.5. See the Documentation in Chinese. Official QQ group number: 735045051 news 2021.11.20: Now we are updati
Bottlerocket - An operating system designed for hosting containers
Bottlerocket OS Welcome to Bottlerocket! Bottlerocket is a free and open-source Linux-based operating system meant for hosting containers. If you’re r
Canary - Distributed systems library for making communications through the network easier, while keeping minimalism and flexibility.
Canary Canary is a distributed systems and communications framework, focusing on minimalism, ease of use and performance. Development of Canary utiliz
Gomez - A pure Rust framework and implementation of (derivative-free) methods for solving nonlinear (bound-constrained) systems of equations
Gomez A pure Rust framework and implementation of (derivative-free) methods for solving nonlinear (bound-constrained) systems of equations. Warning: T
An operating system kernel running on RISC-V arch. Developing...
An operating system kernel running on RISC-V arch How to build it Environmental requirement rustup ( =1.57.0-nightly) Qemu ( =5.0.0) Step Build loca
A lightweight microkernel/IPC based operating system built with Rust which is not a clone of any existing operating system
Noble Operating System Noble is a lightweight microkernel and IPC based operating system built with Rust which is not a clone of any existing operatin
An asynchronous Hardware Abstraction Layer (HAL) for embedded systems
embedded-hal-async An asynchronous Hardware Abstraction Layer (HAL) for embedded systems. This crate contains asynchronous versions of the embedded-ha
Cute tiny operating system for RISC-V. ฅ•ω•ฅ
MoeOS ⁄(⁄ ⁄•⁄ω⁄•⁄ ⁄)⁄ ٩(^ᴗ^)۶欢迎参观MoeOS的仓库,MoeOS是一个小巧可爱(并不)的操作系统,目前全力支持RISC-V中。 (*≧▽≦)因为还只是一个玩具操作系统,就别要求她能做太多事情啦!现在功能还不完善,会慢慢加的! 编译 呐,你想给我找个家么? 目前MoeOS
A guide for Mozilla's developers and data scientists to analyze and interpret the data gathered by our data collection systems.
Mozilla Data Documentation This documentation was written to help Mozillians analyze and interpret data collected by our products, such as Firefox and
Minimal and persistent key-value store designed with security in mind
microkv Minimal and persistent key-value store designed with security in mind. Introduction microkv is a persistent key-value store implemented in Rus