tomaka / redshirt
🧑 🔬 Operating system
☆1,429Updated last year
Related projects ⓘ
Alternatives and complementary repositories for redshirt
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,334Updated last year
- Cranelift code generator☆2,490Updated 4 years ago
- Runtime for executing procedural macros as WebAssembly☆1,271Updated this week
- lightweight platform-agnostic tools for declarative UI☆830Updated last year
- A Rust-based, lightweight unikernel.☆1,186Updated this week
- git, implemented in rust, for fun and education☆1,371Updated last year
- Generic purpose Just-In-time compiler for Rust.☆1,508Updated 5 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆858Updated this week
- Alternative rust compiler (re-implementation)☆2,166Updated last week
- A rusty dynamically typed scripting language☆1,774Updated 8 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,841Updated 2 weeks ago
- An experimental stackless Lua VM implemented in pure Rust☆1,686Updated 2 months ago
- Source code for the Mun language and runtime.☆1,871Updated last month
- Hermit for Rust.☆1,684Updated this week
- Create ridiculously fast Lexers☆2,913Updated 2 weeks ago
- Empowering everyone to build asynchronous software☆862Updated 5 years ago
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,128Updated this week
- WebAssembly (Wasm) interpreter.☆1,608Updated this week
- A Cargo subcommand for the client-side Web☆1,106Updated 11 months ago
- An embeddable dynamic programming language for Rust.☆1,755Updated this week
- Beautiful diagnostic reporting for text-based programming languages.☆1,105Updated 4 months ago
- The missing batteries of Rust☆2,028Updated 4 years ago
- The write-once-run-anywhere GPGPU library for Rust☆1,596Updated last year
- Cranelift based backend for rustc☆1,618Updated this week
- Rust derive-based argument parsing optimized for code size☆1,667Updated 5 months ago
- A standard library for the client-side Web☆3,444Updated 8 months ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,355Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,218Updated 8 months ago
- A cryptographically verifiable code review system for the cargo (Rust) package manager.☆2,099Updated this week
- Highly-available Distributed Fault-tolerant Runtime☆2,801Updated last year