tomaka / redshirt
๐งโ๐ฌ Operating system
โ1,439Updated 3 weeks ago
Alternatives and similar repositories for redshirt:
Users that are interested in redshirt are comparing it to the libraries listed below
- Cranelift code generatorโ2,493Updated 4 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.โ2,338Updated 2 years ago
- Alternative rust compiler (re-implementation)โ2,286Updated 2 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solverโ1,919Updated 2 weeks ago
- Source code for the Mun language and runtime.โ1,976Updated last week
- Runtime for executing procedural macros as WebAssemblyโ1,375Updated 2 months ago
- lightweight platform-agnostic tools for declarative UIโ836Updated 2 years ago
- A static, type inferred and embeddable language written in Rust.โ3,304Updated 5 months ago
- A rusty dynamically typed scripting languageโ1,828Updated 2 months ago
- ๐บ๐ ZetZ a zymbolic verifier and tranzpiler to bare metal Cโ1,603Updated 2 years ago
- WebAssembly (Wasm) interpreter.โ1,726Updated this week
- A Rust-based, lightweight unikernel.โ1,277Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/relibcโ891Updated last week
- Type checked JSX for Rustโ1,874Updated 2 years ago
- A modern Rust debugging library ๐ฆโ891Updated 2 years ago
- A cryptographically verifiable code review system for the cargo (Rust) package manager.โ2,175Updated 3 weeks ago
- Hermit for Rust.โ1,770Updated this week
- Highly-available Distributed Fault-tolerant Runtimeโ2,840Updated 2 years ago
- Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap betweenโฆโ2,999Updated 7 months ago
- An embeddable dynamic programming language for Rust.โ1,901Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.โ2,313Updated this week
- A standard library for the client-side Webโ3,449Updated last year
- A declarative desktop UI framework for Rust built on GTK and Gtk-rsโ1,057Updated 3 years ago
- An experimental stackless Lua VM implemented in pure Rustโ1,892Updated last week
- Rusty Object Notationโ3,546Updated this week
- A lock-free, read-optimized, concurrency primitive.โ1,992Updated 10 months ago
- Build frontend browser apps with Rust + WebAssembly. Supports server side rendering.โ2,287Updated 7 months ago
- The Wasm-Enabled, Elfin Allocatorโ688Updated 2 years ago
- Assorted immutable collection datatypes for Rustโ1,530Updated 8 months ago
- Beautiful diagnostic reporting for text-based programming languages.โ1,177Updated 3 weeks ago