tomaka / redshirt
๐งโ๐ฌ Operating system
โ1,433Updated this week
Alternatives and similar repositories for redshirt:
Users that are interested in redshirt are comparing it to the libraries listed below
- Cranelift code generatorโ2,491Updated 4 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.โ2,337Updated 2 years ago
- A Rust-based, lightweight unikernel.โ1,255Updated this week
- A rusty dynamically typed scripting languageโ1,812Updated last month
- Alternative rust compiler (re-implementation)โ2,265Updated 3 weeks ago
- Highly-available Distributed Fault-tolerant Runtimeโ2,832Updated last year
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,264Updated this week
- Runtime for executing procedural macros as WebAssemblyโ1,362Updated 2 weeks ago
- lightweight platform-agnostic tools for declarative UIโ834Updated 2 years ago
- Source code for the Mun language and runtime.โ1,959Updated this week
- Hermit for Rust.โ1,747Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ2,978Updated 5 months ago
- An experimental stackless Lua VM implemented in pure Rustโ1,861Updated last week
- A static, type inferred and embeddable language written in Rust.โ3,282Updated 3 months ago
- A cryptographically verifiable code review system for the cargo (Rust) package manager.โ2,172Updated last week
- WebAssembly (Wasm) interpreter.โ1,694Updated this week
- An embeddable dynamic programming language for Rust.โ1,872Updated 2 weeks ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,899Updated last week
- An old-school bash-like Unix shell written in Rustโ990Updated 4 months ago
- A web browser engine for the space ageโ1,701Updated last year
- git, implemented in rust, for fun and educationโ1,377Updated last year
- Cranelift based backend for rustcโ1,716Updated this week
- A declarative desktop UI framework for Rust built on GTK and Gtk-rsโ1,055Updated 3 years ago
- The InterPlanetary File System (IPFS), implemented in Rust.โ1,273Updated 2 years ago
- The write-once-run-anywhere GPGPU library for Rustโ1,604Updated 2 years ago
- Flowistry is an IDE plugin for Rust that helps you focus on relevant code.โ1,942Updated 3 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibcโ884Updated this week
- Beautiful diagnostic reporting for text-based programming languages.โ1,138Updated last week
- The missing batteries of Rustโ2,046Updated last month
- Truly cross platform, truly native. multiple backend GUI for rustโ632Updated 3 years ago