jameysharp / corrodeLinks
C to Rust translator
☆2,176Updated 6 years ago
Alternatives and similar repositories for corrode
Users that are interested in corrode are comparing it to the libraries listed below
Sorting:
- A new kind of terminal☆2,320Updated 8 years ago
- Cranelift code generator☆2,496Updated 5 years ago
- Generic purpose Just-In-time compiler for Rust.☆1,530Updated 6 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/tfs☆2,941Updated last year
- REPL for the Rust programming language☆1,325Updated 6 years ago
- A static, type inferred and embeddable language written in Rust.☆3,344Updated 9 months ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,347Updated 2 years ago
- A libre cross-platform disassembler.☆1,441Updated 6 years ago
- Rust Code Completion utility☆3,361Updated last year
- Alternative rust compiler (re-implementation)☆2,353Updated this week
- This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel☆1,200Updated 7 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,054Updated 8 years ago
- [DEPRECATED] A tool for managing multiple Rust installations☆656Updated 6 years ago
- A hobby operating system, in Rust☆1,398Updated 5 years ago
- A terminal-based text editor written in Rust☆1,655Updated last year
- An IDE for Rust☆895Updated 8 years ago
- The missing batteries of Rust☆2,067Updated 7 months ago
- An old-school bash-like Unix shell written in Rust☆995Updated last week
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,601Updated 3 years ago
- A rusty dynamically typed scripting language☆1,865Updated 7 months ago
- The bare metal stack for rust☆1,005Updated 6 years ago
- 🐇 Fuzzing Rust code with American Fuzzy Lop☆1,770Updated last week
- [INACTIVE] Rust's standard library, free of C dependencies, for Linux systems☆521Updated 6 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆922Updated this week
- SIMD for humans☆1,588Updated 2 years ago
- A Matrix homeserver written in Rust.☆1,074Updated 4 years ago
- Automated property based testing for Rust (with shrinking).☆2,629Updated 4 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/ion☆1,532Updated this week
- A minimal Linux kernel module written in rust.☆916Updated 4 years ago
- A web application microframework for Rust☆875Updated 8 years ago