Note taking and organization; an open-source, clean-room reimplementation of Microsoft OneNote, rebuilt in pure Rust
Secure and fast microVMs for serverless computing.
Mirror of https://gitlab.redox-os.org/redox-os/redox
An open-source, clean-room reimplementation of Microsoft Word in pure Rust
Beginner, advanced, expert level Rust training material
We all edit.
Rust for Windows
Astrid is a portable, capability-secure operating system for composable software.
A Tiny biped duck robot ๐ฆ
๐งฑ easy, fast, programmable and local-first microVM runtime and library
An embeddable, portable, branchable virtual machine to safely run Agents locally.
A secure embedded operating system for microcontrollers
GridCraft: an open-source, clean-room spreadsheet (Microsoft Excel-style) in pure Rust. By ArtCraft.
It's sudo, for Windows
Coreutils for Windows: Installer & Packaging
Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latency and minimal overhead.
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
MicYou is a powerful tool that turns your mobile device into a high-quality microphone for your PC.
Run AI agents on real and isolated machines โ own kernel, filesystem, and network โ with <100ms boot. Local first, OCI compatible, pure Rust.
Presentations and slide shows: an open-source, clean-room reimplementation of Microsoft PowerPoint in pure Rust. Part of the ArtCraft Crafting Apps.
Trigram-indexed grep with a client/server architecture for fast regex search in large codebases locally
Rust implementation of the Microsoft Remote Desktop Protocol (RDP)
A security-focused library OS supporting kernel- and user-mode execution
Policy-driven, layered isolation and containment
PostgreSQL in-database durable execution
Rust RPC framework with high-performance and strong-extensibility for building micro-services.
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
no_std Hardware Abstraction Layers for ESP32 microcontrollers
๐ฆ Microservices Status Page. Monitors a distributed infrastructure and sends alerts (Slack, SMS, etc.).
A vector indexing library to bring fast, fresh and filtered search to your database
Home of OpenVMM and OpenHCL
Platform that enables Windows driver development in Rust
A Rust Embedded-HAL for the rp series microcontrollers
Use your Android phone as a microphone for your PC
macOS: mount any linux-supported filesystem read/write using NFS and a microVM
Nacos server re-implemented in Rust.
Rust client for NATS, the cloud native messaging system.
Prompty makes it easy to create, manage, debug, and evaluate LLM prompts for your AI applications. Prompty is an asset class and format for LLM prompts designed to enhance observability, understandability, and portability for developers.
Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust
AVML - Acquire Volatile Memory for Linux
Bf-Tree is a modern read-write-optimized concurrent larger-than-memory range index in Rust from MS Research.
Dynamically provision Stateful Persistent Replicated Cluster-wide Fabric Volumes & Filesystems for Kubernetes that is provisioned from an optimized NVME SPDK backend data storage stack.
๐ฌ microscope ๐ฌ
Microsoft Quantum Development Kit, including the Q# programming language, resource estimator, and Quantum Katas
๐spring-rs is a application framework written in rust inspired by java's spring-boot
Low level access to Cortex-M processors
The Xous microkernel
Work in progress distributed system that simplifies the orchestration of containers and virtual machines.
muvm - run programs from your system in a microVM
Wassette: A security-oriented runtime that runs WebAssembly Components via MCP
Mirror of https://gitlab.redox-os.org/redox-os/kernel
This repository is for the active development of the Azure SDK for Rust. For consumers of the SDK we recommend visiting Docs.rs and looking up the docs for any of libraries in the SDK.
Spartan: High-speed zkSNARKs without trusted setup
A local-first microVM sandbox for running AI agents safely on macOS & Linux
Isolated VM environment for running Claude Code and Codex
๐ฆAn agentic AI assistant that lives in your chats, inspired by nanoclaw and incorporating some of its design ideas. Built with Rust ๐ฆ
ๆ็ต่ๆ้บฆๅ ้ฃๅฃฐ้ณ่ฝฌๆๅฎๆถ็ฟป่ฏๅญๅนใLive translated subtitles from computer or microphone audio.
A high-performance document search engine built in Rust with WebAssembly support.
Experimental WASM Microkernel Operating System
Target atsamd microcontrollers using Rust