jameysharp/corrode on Hacker News

…to be working on hope. https://gitlab.com/citrus-rs/citrus/-/tree/master/tests?ref_... - Corrode: https://github.com/jameysharp/corrode Written in Haskel, not in Rust as others, have potential, since they utilize csmith for testing.But…

comment by kant2002 · 2025-11-03 · in Automatically Translating C to Rust

There was also https://github.com/jameysharp/corrode

comment by CUViper · 2023-09-25 · in Digression 3: Corrosion – Rust Never Sleeps

Back in the day there was also Corrode: https://github.com/jameysharp/corrode Discussed here: https://news.ycombinator.com/item?id=12056230

comment by rgovostes · 2022-02-02 · in C2rust: Transpile C to Rust

There is also https://github.com/jameysharp/corrode I have not used it, but I doubt it's possible to translate C into idiomatic Rust mechanically.

comment by dmytrish · 2021-05-07 · in Modern C and What We Can Learn from It [video]

…has for Rust (e.g. C2Rust [0], Corrode [1])? [0] https://www.github.com/immunant/c2rust [1] https://www.github.com/jameysharp/corrode

comment by dataking · 2019-07-02 · in D as a C Replacement

…undoubtedly they would have an easier time if Rust was designed in the first place for conversion. https://github.com/jameysharp/corrode So Checked C seems like a great idea to me. I've noticed that most programmers seem to wildly…

comment by chubot · 2018-09-09 · in Checked C: Making C Safer by Extension

How’s this compare to https://github.com/jameysharp/corrode

comment by m0meni · 2018-06-23 · in C2Rust: translate C into Rust code

…allocator is needed. I also found that "rewriting in safe rust from C" was made easy by corrode https://github.com/jameysharp/corrode since C and rust can be interface compatible, it's easy to go one file at a time and turn it into working…

comment by daniel_rh · 2017-08-01 · in Rust: Not So Great For Codec Implementing

https://github.com/jameysharp/corrode/

comment by steveklabnik · 2017-07-12 · in Why you should, actually, rewrite some of it in Rust

…(as in, it's like a blog post that you can compile and run, to give a slightly strained analogy). https://github.com/jameysharp/corrode webshit weekly actually "quoted" a previous HN comment of mine about it, in which I was falsely…

comment by mrkgnao · 2017-04-19 · in What programming languages are used late at night?

https://github.com/jameysharp/corrode/blob/master/src/Langua... Corrode is absolutely incredible. This file is literate Haskell, which means there's more documentation than code (I guess), and it transforms C into Rust.

comment by mrkgnao · 2017-04-06 · in Build Your Own Text Editor

https://github.com/jameysharp/corrode

comment by mrkgnao · 2017-03-30 · in Addendum to “Curl is C”

For automated tools that can convert a C codebase to Rust, you're looking for is Corrode: https://github.com/jameysharp/corrode Last I heard, Corrode can convert many C syntactic structures into their Rust equivalents, they usually compile…

comment by thristian · 2017-03-30 · in Addendum to “Curl is C”

https://github.com/jameysharp/corrode is a C-to-Rust translator. It won’t be idiomatic Rust, though; not by a long shot. (Rust is much more restrictive in what it allows, for reasons of safety, though more expressive .) And it may not be…

comment by chrismorgan · 2017-03-30 · in Addendum to “Curl is C”

C-to-Rust converter is written ... in Haskell https://github.com/jameysharp/corrode

comment by anistas · 2017-03-19 · in Three Months of Go, from a Haskeller’s perspective (2016)

▲ 2

“This module translates C to Rust”

story by mrkgnao · 2017-02-03 · 0 comments

I didn't run into the Arrays issue. This issue I filed, has a list of all the things I hit: https://github.com/jameysharp/corrode/issues/109 Most of the issues I ran into were not exactly with the corrode tool, but with compiler options,…

comment by bluejekyll · 2017-01-29 · in A Guide to Porting C/C++ to Rust

…itself states that it's not expected to work on "real" code, and there are open issues like this: https://github.com/jameysharp/corrode/issues/52 titled "Arrays are broken!" in which Corrode's developer wrote half a year ago: "The current…

comment by tom_mellior · 2017-01-29 · in A Guide to Porting C/C++ to Rust

…a JavaScript to Rust transpiler in Haskell, I guess this is a takeoff on the C-to-Rust translator ( https://github.com/jameysharp/corrode )? (and all the compile-to-JS projects such as GWT, emscripten etc.). But those have actual use…

comment by Mathnerd314 · 2017-01-13 · in I Am Writing a JavaScript to Rust Transpiler, So Please Just End My Suffering

…difficult to approach (how would you start building this?), and doesn't need frequent refactoring. https://github.com/jameysharp/corrode/blob/master/src/Langua...

comment by cormacrelf · 2017-01-10 · in Lambdascript – A new pure functional language built on top of Python

https://github.com/jameysharp/corrode/

comment by steveklabnik · 2017-01-10 · in Lambdascript – A new pure functional language built on top of Python

…would just have static checks for all that. There is a C to UNSAFE Rust transpiler, though: https://github.com/jameysharp/corrode .

comment by the_duke · 2017-01-03 · in Getting Past C

exactly the goal: https://github.com/jameysharp/corrode

comment by tupshin · 2016-12-16 · in Rust required to build Gecko

…get that fixed; chances are if you want that architecture, someone else using LLVM does too. [1]: https://github.com/jameysharp/corrode

comment by pcwalton · 2016-11-04 · in BearSSL – Smaller SSL/TLS

Did you see this post about a partial C to Rust transpiler written in literal Haskell? https://github.com/jameysharp/corrode/blob/master/src/Langua...

comment by wrsh07 · 2016-07-29 · in Haskell Data Analysis and Machine Learning Cookbook

…analysis libraries already. If you re-wrote in in rust it'd be just as fast. Hell this guy ( https://github.com/jameysharp/corrode ) wrote a rust-c source-to-source compiler in literate haskell. Also in a few years servo will be a full…

comment by rat87 · 2016-07-20 · in Memory management in C programs (2014)

…reading, it looks like they discuss what they'd have to do to move `main` to its correct Rust type: https://github.com/jameysharp/corrode/issues/20

comment by SilasX · 2016-07-11 · in Corrode: C to Rust translator written in Haskell

…not necessary, we can let the Rust compiler warn about it." (Edit2: cleaned up and numbered) [1] https://github.com/jameysharp/corrode#design-principles

comment by SilasX · 2016-07-08 · in Corrode: C to Rust translator written in Haskell

…The main logic of this project is in a literate haskell file you can easily read on GitHub. https://github.com/jameysharp/corrode/blob/master/src/Langua... I wonder how readable is to someone who isn't experienced in Haskell. To me reads…

comment by tinco · 2016-07-08 · in Corrode: C to Rust translator written in Haskell

…This is just amazing. The most important part of the source is highly educative literate haskell: https://github.com/jameysharp/corrode/blob/master/src/Langua...

comment by pierrec · 2016-07-08 · in Corrode: C to Rust translator written in Haskell

▲ 387

Corrode: C to Rust translator written in Haskell

story by adamnemecek · 2016-07-08 · 122 comments

▲ 19

Corrode: Automatic semantics-preserving translation from C to Rust

story by JoshTriplett · 2016-07-04 · 1 comment