tomaka / redshirt

Related projects ⓘ

Alternatives and complementary repositories for redshirt

• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,334Updated last year
• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,488Updated 4 years ago
• ivanceras / sauron
  A versatile web framework and library for building client-side and server-side web applications
  ☆1,983Updated this week
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,846Updated 3 weeks ago
• salsa-rs / salsa
  A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
  ☆2,134Updated 2 weeks ago
• chrisdickinson / git-rs
  git, implemented in rust, for fun and education
  ☆1,372Updated last year
• PistonDevelopers / dyon
  A rusty dynamically typed scripting language
  ☆1,774Updated 8 months ago
• mun-lang / mun
  Source code for the Mun language and runtime.
  ☆1,881Updated this week
• dtolnay / watt
  Runtime for executing procedural macros as WebAssembly
  ☆1,282Updated 2 weeks ago
• maciejhirsz / logos
  Create ridiculously fast Lexers
  ☆2,926Updated this week
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,197Updated this week
• gluon-lang / gluon
  A static, type inferred and embeddable language written in Rust.
  ☆3,223Updated 8 months ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,803Updated last year
• rune-rs / rune
  An embeddable dynamic programming language for Rust.
  ☆1,759Updated 2 weeks ago
• kyren / piccolo
  An experimental stackless Lua VM implemented in pure Rust
  ☆1,702Updated 2 months ago
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,630Updated last week
• anp / moxie
  lightweight platform-agnostic tools for declarative UI
  ☆830Updated last year
• TheDan64 / inkwell
  It's a New Kind of Wrapper for Exposing LLVM (Safely)
  ☆2,366Updated last week
• wasmi-labs / wasmi
  WebAssembly (Wasm) interpreter.
  ☆1,614Updated this week
• thepowersgang / mrustc
  Alternative rust compiler (re-implementation)
  ☆2,175Updated this week
• bodil / typed-html
  Type checked JSX for Rust
  ☆1,867Updated last year
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,691Updated this week
• bodil / vgtk
  A declarative desktop UI framework for Rust built on GTK and Gtk-rs
  ☆1,054Updated 2 years ago
• twilco / kosmonaut
  A web browser engine for the space age
  ☆1,693Updated last year
• rhaiscript / rhai
  Rhai - An embedded scripting language for Rust.
  ☆3,838Updated 2 weeks ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,600Updated 2 years ago
• brendanzab / codespan
  Beautiful diagnostic reporting for text-based programming languages.
  ☆1,111Updated 4 months ago
• samuela / rustybox
  A free-range, non-GMO fork of busybox in 100% Rust 🦀
  ☆812Updated last year
• calebwin / emu
  The write-once-run-anywhere GPGPU library for Rust
  ☆1,598Updated last year
• brson / stdx
  The missing batteries of Rust
  ☆2,029Updated 4 years ago