tomaka / redshirtLinks
๐งโ๐ฌ Operating system
โ1,443Updated 3 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,339Updated 2 years ago
- Cranelift code generatorโ2,497Updated 4 years ago
- lightweight platform-agnostic tools for declarative UIโ836Updated last month
- Source code for the Mun language and runtime.โ2,053Updated last month
- A rusty dynamically typed scripting languageโ1,853Updated 4 months ago
- Highly-available Distributed Fault-tolerant Runtimeโ2,849Updated 2 years ago
- Runtime for executing procedural macros as WebAssemblyโ1,389Updated last month
- git, implemented in rust, for fun and educationโ1,380Updated last year
- An embeddable dynamic programming language for Rust.โ1,963Updated last week
- The write-once-run-anywhere GPGPU library for Rustโ1,610Updated 2 years ago
- Alternative rust compiler (re-implementation)โ2,313Updated last month
- A static, type inferred and embeddable language written in Rust.โ3,321Updated 6 months ago
- Hermit for Rust.โ1,795Updated this week
- A Rust-based, lightweight unikernel.โ1,305Updated this week
- An experimental stackless Lua VM implemented in pure Rustโ1,962Updated 3 weeks ago
- A cryptographically verifiable code review system for the cargo (Rust) package manager.โ2,191Updated last week
- Type checked JSX for Rustโ1,871Updated 2 years ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,940Updated 3 weeks ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibcโ901Updated this week
- A list of programming languages implemented in Rust, for inspiration.โ958Updated last week
- Beautiful diagnostic reporting for text-based programming languages.โ1,189Updated last week
- WebAssembly (Wasm) interpreter.โ1,774Updated this week
- ๐บ๐ ZetZ a zymbolic verifier and tranzpiler to bare metal Cโ1,605Updated 3 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,445Updated this week
- A free-range, non-GMO fork of busybox in 100% Rust ๐ฆโ841Updated 2 years ago
- A versatile web framework and library for building client-side and server-side web applicationsโ2,032Updated 4 months ago
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ3,025Updated 8 months ago
- An old-school bash-like Unix shell written in Rustโ996Updated 2 months ago
- A parser combinator library for Rustโ1,325Updated 4 months ago
- Cranelift based backend for rustcโ1,804Updated this week