jameysharp / corrode

Related projects ⓘ

Alternatives and complementary repositories for corrode

• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,490Updated 4 years ago
• murarth / rusti
  REPL for the Rust programming language
  ☆1,322Updated 5 years ago
• nbp / holyjit
  Generic purpose Just-In-time compiler for Rust.
  ☆1,508Updated 5 years ago
• redox-os / tfs
  Mirror of https://gitlab.redox-os.org/redox-os/tfs
  ☆2,944Updated 9 months ago
• gluon-lang / gluon
  A static, type inferred and embeddable language written in Rust.
  ☆3,217Updated 8 months ago
• thepowersgang / mrustc
  Alternative rust compiler (re-implementation)
  ☆2,166Updated last week
• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,334Updated last year
• withoutboats / notty
  A new kind of terminal
  ☆2,313Updated 7 years ago
• racer-rust / racer
  Rust Code Completion utility
  ☆3,355Updated 11 months ago
• bodil / typed-html
  Type checked JSX for Rust
  ☆1,866Updated last year
• das-labor / panopticon
  A libre cross-platform disassembler.
  ☆1,431Updated 5 years ago
• oakes / SolidOak
  An IDE for Rust
  ☆892Updated 7 years ago
• AdamNiederer / faster
  SIMD for humans
  ☆1,560Updated last year
• brson / multirust
  [DEPRECATED] A tool for managing multiple Rust installations
  ☆658Updated 5 years ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,600Updated 2 years ago
• carp-lang / Carp
  A statically typed lisp, without a GC, for real-time applications.
  ☆5,530Updated 2 months ago
• immunant / c2rust
  Migrate C code to Rust
  ☆4,005Updated last week
• lalrpop / lalrpop
  LR(1) parser generator for Rust
  ☆3,059Updated last week
• intermezzOS / kernel
  A hobby operating system, in Rust
  ☆1,393Updated 5 years ago
• brson / stdx
  The missing batteries of Rust
  ☆2,028Updated 4 years ago
• BurntSushi / quickcheck
  Automated property based testing for Rust (with shrinking).
  ☆2,409Updated 10 months ago
• rust-lang / rls
  Repository for the Rust Language Server (aka RLS)
  ☆3,513Updated 2 years ago
• PistonDevelopers / dyon
  A rusty dynamically typed scripting language
  ☆1,774Updated 8 months ago
• joncatanio / cannoli
  Cannoli Programming Language
  ☆772Updated 6 years ago
• lamdu / lamdu
  lamdu - towards the next generation IDE
  ☆1,852Updated 2 weeks ago
• tsgates / rust.ko
  A minimal Linux kernel module written in rust.
  ☆896Updated 3 years ago
• koute / stdweb
  A standard library for the client-side Web
  ☆3,444Updated 8 months ago
• redox-os / relibc
  Mirror of https://gitlab.redox-os.org/redox-os/relibc
  ☆858Updated this week
• rust-fuzz / afl.rs
  🐇 Fuzzing Rust code with American Fuzzy Lop
  ☆1,646Updated this week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,043Updated 7 years ago