corrode
C translator
A tool that translates C source code to Rust syntax while preserving semantics.
C to Rust translator
2k stars
68 watching
116 forks
Language: Haskell
last commit: over 5 years ago
Linked from 1 awesome list
rust-unofficial/awesome-rustRelated projects:
| Repository | Description | Stars |
|---|---|---|
 timothypratley/rustly | A Clojure to Rust transpiler that translates a subset of Clojure syntax into Rust code | 161 |
 mirkosertic/bytecoder | A tool to interpret and transpile JVM bytecode into other programming languages like JavaScript, WebAssembly, or OpenCL. | 897 |
 plclub/hs-to-coq | A tool that translates Haskell code to equivalent Coq code | 78 |
 woboq/tr | Tools for localizing Rust applications by extracting and managing translations. | 58 |
 corrode/four-horsemen-talk | Slides and sample code from a talk about bad Rust coding practices | 25 |
 jyh1/mmaclone | An interpreter of Wolfram Language implemented in Haskell to deepen understanding of the language and its ecosystem | 243 |
 ifrostizz/murph | Transpiles EVM bytecode into huff bytecode | 117 |
 leepike/copilot | A language and toolset for generating hard real-time C code from a domain-specific stream language | 149 |
 redpony/cdec | A research platform for machine translation and structured prediction problems. | 183 |
 cybershadow/digger | A tool to build and test old versions of the D programming language | 57 |
 crufter/haquery | Allows HTML manipulation and template rendering using CSS selectors familiar to web developers | 65 |
 davekram/coord_transforms | Crate providing functions to transform coordinates between different coordinate systems | 33 |
 jamvayne/cobaltstrikedos | A Python script to exploit a Cobalt Strike vulnerability and perform a denial of service attack. | 103 |
 justlucdewit/cod | A language and compiler that supports a unique concatenative stack-based programming paradigm. | 24 |
 whoiscc/shattuck | A Rust-based language for scripting automation tasks | 72 |