tomaka / redshirtView external linksLinks
๐งโ๐ฌ Operating system
โ1,447Dec 15, 2025Updated 2 months ago
Alternatives and similar repositories for redshirt
Users that are interested in redshirt are comparing it to the libraries listed below
Sorting:
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.โ2,354Feb 28, 2023Updated 2 years ago
- Runtime for executing procedural macros as WebAssemblyโ1,469Jan 21, 2026Updated 3 weeks ago
- Cranelift code generatorโ2,504Jun 26, 2020Updated 5 years ago
- Lucet, the Sandboxing WebAssembly Compiler.โ4,056Mar 23, 2022Updated 3 years ago
- A modern Rust debugging library ๐ฆโ891May 15, 2022Updated 3 years ago
- Async version of the Rust standard libraryโ4,072Aug 15, 2025Updated 6 months ago
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,115Sep 22, 2024Updated last year
- Fast and friendly HTTP client framework for async Rustโ1,499Sep 11, 2023Updated 2 years ago
- A Rust-based, lightweight unikernel.โ1,401Updated this week
- A small and fast async runtime for Rustโ4,753Jan 20, 2026Updated 3 weeks ago
- Empowering everyone to build asynchronous softwareโ858Oct 29, 2019Updated 6 years ago
- the champagne of beta embedded databasesโ8,919Nov 4, 2025Updated 3 months ago
- Hermit for Rust.โ1,870Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideasโ266Sep 16, 2025Updated 4 months ago
- rd is a record/replay debugger written in rustโ961Jun 3, 2022Updated 3 years ago
- Highly-available Distributed Fault-tolerant Runtimeโ2,897Apr 22, 2023Updated 2 years ago
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,752Nov 21, 2025Updated 2 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,982Feb 8, 2026Updated last week
- Lunatic is an Erlang-inspired runtime for WebAssemblyโ4,842Mar 29, 2025Updated 10 months ago
- Cranelift based backend for rustcโ1,979Feb 5, 2026Updated last week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliantโ17,564Updated this week
- Source code for the Mun language and runtime.โ2,110Aug 12, 2025Updated 6 months ago
- Rust port of Google's SwissTable hash mapโ2,864Feb 5, 2026Updated last week
- An x86 bootloader written in Rust.โ532Aug 2, 2021Updated 4 years ago
- Detects usage of unsafe Rust in a Rust crate and its dependencies.โ1,561Jan 11, 2026Updated last month
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,759Feb 7, 2026Updated last week
- a smaller, faster and panic-free alternative to core::fmtโ389Feb 14, 2024Updated 2 years ago
- Rust derive-based argument parsing optimized for code sizeโ1,878Feb 6, 2026Updated last week
- A static, type inferred and embeddable language written in Rust.โ3,390Dec 6, 2024Updated last year
- The InterPlanetary File System (IPFS), implemented in Rust.โ1,283Oct 22, 2022Updated 3 years ago
- Efficient and versatile WebAssembly interpreter for embedded systems.โ2,037Updated this week
- The Cervus Subsystem for Linuxโ732Jun 3, 2018Updated 7 years ago
- Assorted immutable collection datatypes for Rustโ1,570Aug 19, 2024Updated last year
- A standard library for the client-side Webโ3,460Feb 28, 2024Updated last year
- garbage collectionโ327Jul 24, 2019Updated 6 years ago
- An interpreter for Rust's mid-level intermediate representationโ5,901Updated this week
- Analysis of various tricky Rust codeโ1,993Dec 20, 2025Updated last month
- A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASMโ1,953Dec 1, 2025Updated 2 months ago
- A tool for transforming Rust code using rulesโ716Jun 4, 2023Updated 2 years ago