jameysharp / corrode
C to Rust translator
☆2,164Updated 5 years ago
Alternatives and similar repositories for corrode:
Users that are interested in corrode are comparing it to the libraries listed below
- Cranelift code generator☆2,490Updated 4 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/tfs☆2,945Updated last year
- REPL for the Rust programming language☆1,323Updated 5 years ago
- Alternative rust compiler (re-implementation)☆2,245Updated 2 weeks ago
- A static, type inferred and embeddable language written in Rust.☆3,275Updated 2 months ago
- A new kind of terminal☆2,313Updated 7 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,336Updated last year
- Rust Code Completion utility☆3,359Updated last year
- Generic purpose Just-In-time compiler for Rust.☆1,521Updated 5 years ago
- This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel☆1,199Updated 7 years ago
- A hobby operating system, in Rust☆1,394Updated 5 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,052Updated 7 years ago
- A rusty dynamically typed scripting language☆1,799Updated this week
- The missing batteries of Rust☆2,042Updated last week
- [DEPRECATED] A tool for managing multiple Rust installations☆655Updated 6 years ago
- SIMD for humans☆1,572Updated last year
- A libre cross-platform disassembler.☆1,437Updated 6 years ago
- A terminal-based text editor written in Rust☆1,644Updated 9 months ago
- LR(1) parser generator for Rust☆3,166Updated last week
- A minimal Linux kernel module written in rust.☆907Updated 3 years ago
- An IDE for Rust☆891Updated 7 years ago
- The Elegant Parser☆4,780Updated 2 weeks ago
- Rust parser combinator framework☆9,739Updated last week
- Automated property based testing for Rust (with shrinking).☆2,481Updated last year
- Migrate C code to Rust☆4,123Updated 3 weeks ago
- A Matrix homeserver written in Rust.☆1,077Updated 3 years ago
- Highly-available Distributed Fault-tolerant Runtime☆2,821Updated last year
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- Vagga is a containerization tool without daemons☆1,867Updated last year
- A standard library for the client-side Web☆3,446Updated 11 months ago