Alternatives and similar repositories for corrode

Users that are interested in corrode are comparing it to the libraries listed below

• withoutboats / notty
  A new kind of terminal
  ☆2,324Updated 8 years ago
• murarth / rusti
  REPL for the Rust programming language
  ☆1,327Updated 6 years ago
• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,502Updated 5 years ago
• redox-os / tfs
  Mirror of https://gitlab.redox-os.org/redox-os/tfs
  ☆2,943Updated last year
• racer-rust / racer
  Rust Code Completion utility
  ☆3,363Updated 2 years ago
• nbp / holyjit
  Generic purpose Just-In-time compiler for Rust.
  ☆1,542Updated 6 years ago
• gluon-lang / gluon
  A static, type inferred and embeddable language written in Rust.
  ☆3,382Updated last year
• intermezzOS / kernel
  A hobby operating system, in Rust
  ☆1,398Updated 6 years ago
• das-labor / panopticon
  A libre cross-platform disassembler.
  ☆1,441Updated 7 years ago
• brson / multirust
  [DEPRECATED] A tool for managing multiple Rust installations
  ☆656Updated 6 years ago
• mmstick / parallel
  This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel
  ☆1,199Updated 8 years ago
• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,352Updated 2 years ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• oakes / SolidOak
  An IDE for Rust
  ☆895Updated 8 years ago
• thepowersgang / mrustc
  Alternative rust compiler (re-implementation)
  ☆2,398Updated last week
• brson / stdx
  The missing batteries of Rust
  ☆2,071Updated 11 months ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,599Updated 3 years ago
• hackndev / zinc
  The bare metal stack for rust
  ☆1,005Updated 6 years ago
• japaric / steed
  [INACTIVE] Rust's standard library, free of C dependencies, for Linux systems
  ☆521Updated 7 years ago
• AdamNiederer / faster
  SIMD for humans
  ☆1,597Updated 2 years ago
• PistonDevelopers / dyon
  A rusty dynamically typed scripting language
  ☆1,896Updated 2 weeks ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,880Updated this week
• tsgates / rust.ko
  A minimal Linux kernel module written in rust.
  ☆919Updated 4 years ago
• gchp / iota
  A terminal-based text editor written in Rust
  ☆1,656Updated last year
• tailhook / vagga
  Vagga is a containerization tool without daemons
  ☆1,894Updated 2 years ago
• ruma / homeserver
  A Matrix homeserver written in Rust.
  ☆1,074Updated 4 years ago
• rust-lang / rls
  Repository for the Rust Language Server (aka RLS)
  ☆3,509Updated 3 years ago
• BurntSushi / quickcheck
  Automated property based testing for Rust (with shrinking).
  ☆2,676Updated 8 months ago
• tokio-rs / tokio-proto
  A network application framework for Rust
  ☆688Updated 7 years ago
• mitnk / cicada
  An old-school bash-like Unix shell written in Rust
  ☆1,000Updated last week