tomaka / redshirtLinks
๐งโ๐ฌ Operating system
โ1,444Updated this week
Alternatives and similar repositories for redshirt
Users that are interested in redshirt are comparing it to the libraries listed below
Sorting:
- Cranelift code generatorโ2,498Updated 5 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.โ2,343Updated 2 years ago
- A Rust-based, lightweight unikernel.โ1,317Updated this week
- Hermit for Rust.โ1,807Updated this week
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,038Updated 10 months ago
- git, implemented in rust, for fun and educationโ1,383Updated 2 years ago
- Runtime for executing procedural macros as WebAssemblyโ1,400Updated 2 months ago
- lightweight platform-agnostic tools for declarative UIโ836Updated last week
- Alternative rust compiler (re-implementation)โ2,328Updated 2 months ago
- A free-range, non-GMO fork of busybox in 100% Rust ๐ฆโ845Updated 2 years ago
- โ630Updated 5 years ago
- A web browser engine for the space ageโ1,706Updated 2 years ago
- A modern Rust debugging library ๐ฆโ893Updated 3 years ago
- JIT compiler and runtime for a toy language, using Craneliftโ694Updated 3 months ago
- ๐บ๐ ZetZ a zymbolic verifier and tranzpiler to bare metal Cโ1,606Updated 3 years ago
- A rusty dynamically typed scripting languageโ1,857Updated 5 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,947Updated 2 months ago
- The write-once-run-anywhere GPGPU library for Rustโ1,608Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibcโ908Updated this week
- Embeddable, efficient and versatile WebAssembly interpreter.โ1,812Updated this week
- The InterPlanetary File System (IPFS), implemented in Rust.โ1,278Updated 2 years ago
- Source code for the Mun language and runtime.โ2,072Updated last week
- An experimental stackless Lua VM implemented in pure Rustโ1,986Updated 3 weeks ago
- Highly-available Distributed Fault-tolerant Runtimeโ2,860Updated 2 years ago
- ๐ an alleged 'operating system'โ650Updated last week
- Library to program x86_64 hardware.โ867Updated 3 weeks ago
- The Wasm-Enabled, Elfin Allocatorโ700Updated 2 years ago
- An embeddable dynamic programming language for Rust.โ1,997Updated last week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,491Updated this week
- Beautiful diagnostic reporting for text-based programming languages.โ1,208Updated 2 weeks ago