jameysharp / corrodeLinks
C to Rust translator
☆2,170Updated 6 years ago
Alternatives and similar repositories for corrode
Users that are interested in corrode are comparing it to the libraries listed below
Sorting:
- REPL for the Rust programming language☆1,324Updated 5 years ago
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,339Updated 2 years ago
- A static, type inferred and embeddable language written in Rust.☆3,315Updated 5 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/tfs☆2,945Updated last year
- Cranelift code generator☆2,493Updated 4 years ago
- Generic purpose Just-In-time compiler for Rust.☆1,530Updated 6 years ago
- Rust Code Completion utility☆3,362Updated last year
- Alternative rust compiler (re-implementation)☆2,302Updated 3 weeks ago
- A new kind of terminal☆2,316Updated 8 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,053Updated 8 years ago
- SIMD for humans☆1,579Updated last year
- A rusty dynamically typed scripting language☆1,841Updated 3 months ago
- Automated property based testing for Rust (with shrinking).☆2,578Updated 3 weeks ago
- A libre cross-platform disassembler.☆1,443Updated 6 years ago
- A hobby operating system, in Rust☆1,394Updated 5 years ago
- lamdu - towards the next generation IDE☆1,872Updated last week
- The missing batteries of Rust☆2,056Updated 3 months ago
- A standard library for the client-side Web☆3,449Updated last year
- [DEPRECATED] A tool for managing multiple Rust installations☆655Updated 6 years ago
- Repository for the Rust Language Server (aka RLS)☆3,509Updated 2 years ago
- Rust friendly bindings to *nix APIs☆2,825Updated 3 weeks ago
- Mirror of https://gitlab.redox-os.org/redox-os/relibc☆897Updated last week
- The bare metal stack for rust☆1,003Updated 5 years ago
- An IDE for Rust☆890Updated 7 years ago
- LR(1) parser generator for Rust☆3,247Updated this week
- This project now lives on in a rewrite at https://gitlab.redox-os.org/redox-os/parallel☆1,198Updated 7 years ago
- Type checked JSX for Rust☆1,873Updated 2 years ago
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆5,874Updated last week
- An old-school bash-like Unix shell written in Rust☆996Updated last month
- Rust parser combinator framework☆9,912Updated 3 months ago