tomaka / redshirt
🧑🔬 Operating system
☆1,429Updated last year
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 Rust-based, lightweight unikernel.☆1,216Updated this week
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,339Updated last year
- Alternative rust compiler (re-implementation)☆2,228Updated this week
- Runtime for executing procedural macros as WebAssembly☆1,312Updated last week
- Hermit for Rust.☆1,710Updated this week
- An experimental stackless Lua VM implemented in pure Rust☆1,771Updated last month
- An embeddable dynamic programming language for Rust.☆1,821Updated this week
- WebAssembly (Wasm) interpreter.☆1,650Updated this week
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,878Updated this week
- Source code for the Mun language and runtime.☆1,928Updated this week
- A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.☆2,182Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,256Updated last month
- lightweight platform-agnostic tools for declarative UI☆831Updated last year
- Highly-available Distributed Fault-tolerant Runtime☆2,818Updated last year
- Beautiful diagnostic reporting for text-based programming languages.☆1,116Updated 6 months ago
- A rusty dynamically typed scripting language☆1,794Updated 10 months ago
- JIT compiler and runtime for a toy language, using Cranelift☆658Updated last year
- Cranelift based backend for rustc☆1,668Updated this week
- A cryptographically verifiable code review system for the cargo (Rust) package manager.☆2,126Updated this week
- A free-range, non-GMO fork of busybox in 100% Rust 🦀☆820Updated last year
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆873Updated this week
- A parser combinator library for Rust☆1,307Updated this week
- The write-once-run-anywhere GPGPU library for Rust☆1,597Updated last year
- LR(1) parser generator for Rust☆3,129Updated last week
- git, implemented in rust, for fun and education☆1,376Updated last year
- Rhai - An embedded scripting language for Rust.☆3,968Updated last week
- ☆631Updated 5 years ago
- Simple tracing (mark and sweep) garbage collector for Rust☆988Updated last month
- Rust port of Google's SwissTable hash map☆2,527Updated last week