tomaka / redshirtLinks
π§βπ¬ Operating system
β1,443Updated 2 weeks 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,346Updated 2 years ago
- Cranelift code generatorβ2,494Updated 5 years ago
- A Rust-based, lightweight unikernel.β1,320Updated last week
- Runtime for executing procedural macros as WebAssemblyβ1,408Updated last week
- Hermit for Rust.β1,810Updated last week
- git, implemented in rust, for fun and educationβ1,385Updated 2 years ago
- A modern Rust debugging library π¦β892Updated 3 years ago
- lightweight platform-agnostic tools for declarative UIβ835Updated 3 weeks ago
- Alternative rust compiler (re-implementation)β2,340Updated 3 months ago
- The InterPlanetary File System (IPFS), implemented in Rust.β1,279Updated 2 years ago
- πΊπ ZetZ a zymbolic verifier and tranzpiler to bare metal Cβ1,603Updated 3 years ago
- Efficient and versatile WebAssembly interpreter for embedded systems.β1,822Updated last week
- A rusty dynamically typed scripting languageβ1,858Updated 6 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverβ1,953Updated 2 weeks ago
- The write-once-run-anywhere GPGPU library for Rustβ1,607Updated 2 years ago
- A cryptographically verifiable code review system for the cargo (Rust) package manager.β2,217Updated this week
- Source code for the Mun language and runtime.β2,085Updated last week
- Mirror of https://gitlab.redox-os.org/redox-os/relibcβ913Updated last week
- A web browser engine for the space ageβ1,708Updated 2 years ago
- A free-range, non-GMO fork of busybox in 100% Rust π¦β846Updated 2 years ago
- JIT compiler and runtime for a toy language, using Craneliftβ699Updated 4 months ago
- β628Updated 5 years ago
- An experimental stackless Lua VM implemented in pure Rustβ2,000Updated last month
- Highly-available Distributed Fault-tolerant Runtimeβ2,868Updated 2 years ago
- LLVM tutorial in Rust languageβ1,209Updated last year
- A static, type inferred and embeddable language written in Rust.β3,331Updated 8 months ago
- Capability-oriented version of the Rust standard libraryβ703Updated 4 months ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.β2,510Updated this week
- An embeddable dynamic programming language for Rust.β2,014Updated this week
- π an alleged 'operating system'β656Updated last week