tomaka / redshirtLinks
๐งโ๐ฌ Operating system
โ1,443Updated last week
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,352Updated 2 years ago
- Cranelift code generatorโ2,499Updated 5 years ago
- A Rust-based, lightweight unikernel.โ1,373Updated last week
- A rusty dynamically typed scripting languageโ1,873Updated last week
- Alternative rust compiler (re-implementation)โ2,372Updated this week
- Runtime for executing procedural macros as WebAssemblyโ1,442Updated 2 weeks ago
- lightweight platform-agnostic tools for declarative UIโ835Updated 4 months ago
- Efficient and versatile WebAssembly interpreter for embedded systems.โ1,915Updated last week
- Source code for the Mun language and runtime.โ2,099Updated 3 months ago
- git, implemented in rust, for fun and educationโ1,382Updated 2 years ago
- A web browser engine for the space ageโ1,705Updated last week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,080Updated last year
- Hermit for Rust.โ1,852Updated this week
- The write-once-run-anywhere GPGPU library for Rustโ1,609Updated 2 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,976Updated 3 months ago
- A modern Rust debugging library ๐ฆโ892Updated 3 years ago
- A static, type inferred and embeddable language written in Rust.โ3,363Updated 11 months ago
- An embeddable dynamic programming language for Rust.โ2,102Updated last week
- The InterPlanetary File System (IPFS), implemented in Rust.โ1,277Updated 3 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibcโ952Updated last week
- An OS kernel written in rust. Non POSIXโ810Updated 4 months ago
- A cryptographically verifiable code review system for the cargo (Rust) package manager.โ2,247Updated last week
- ๐บ๐ ZetZ a zymbolic verifier and tranzpiler to bare metal Cโ1,598Updated 3 years ago
- Parsing Expression Grammar (PEG) parser generator for Rustโ1,569Updated last month
- A free-range, non-GMO fork of busybox in 100% Rust ๐ฆโ850Updated 2 years ago
- โ629Updated 6 years ago
- A list of programming languages implemented in Rust, for inspiration.โ994Updated 4 months ago
- JIT compiler and runtime for a toy language, using Craneliftโ712Updated 3 weeks ago
- Generic purpose Just-In-time compiler for Rust.โ1,537Updated 6 years ago
- Highly-available Distributed Fault-tolerant Runtimeโ2,880Updated 2 years ago