Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression. Learn more →
Similar projects and alternatives to c2rust
This is the official upstream of the Subsurface divelog program
🦀 How to minimize Rust binary size 📦
TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.
UTF-8 rope library for C
https://github.com/json-c/json-c is the official code repository for json-c. See the wiki for release tarballs for download. API docs at http://json-c.github.io/json-c/
Empowering everyone to build reliable and efficient software.
Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises
🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C [Moved to: https://github.com/zetzit/zz] (by aep)
rTorrent BitTorrent client
C to Rust translator
Generate a shared library and bindings for many languages. (by treeform)
A lightning-fast search engine that fits effortlessly into your apps, websites, and workflow.
Rust-based platform for the Web
A Python Interpreter written in Rust
Abseil Common Libraries (C++)
Official Transmission BitTorrent client repository
A Ruby/Rack web server built for parallelism
dmd D Programming Language compiler
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
c2rust reviews and mentions
Emitting Safer Rust with C2Rust
3 projects | news.ycombinator.com | 15 Mar 2023
> The date at the bottom of the article is 2022-06-13. Has there been further progress?
The article links to their github repo:
There's commits in the last hour, so at least some signal of life.
Writing an OS in Rust to run on RISC-V
8 projects | news.ycombinator.com | 1 Mar 2023
This is arguably already the state of things.
Rust might get compiled down through MIR, down through LLVM IR, down to assembly or wasm... which then might be JIT or AOT (re)compiled into other bytecodes... which might perhaps be decompiled back up to C... and C might be retranslated back to horrific unsafe-spamming Rust by the likes of https://c2rust.com/. We've come full circle!
The main issue is that retranslating high level languages into other high level languages isn't something that there's actually a lot of demand for, especially commercially, especially given the N x M translation matrix going on. So a lot of the projects "stabilize" (get abandoned). And automatically translating between the idioms of those languages gets even nastier in terms of matrix bloat.
Well, you've got stuff like MSIL and JVM bytecodes which are higher level, and preserve more type information, and can be compiled to / decompiled from while still preserving more structure, but they still form competing incompatible ecosystems.
Will Carbon Replace C++?
14 projects | news.ycombinator.com | 27 Feb 2023
That's the wrong direction. What's needed are intelligent converters which convert less-strict languages to more-strict ones.
Non-intelligent converters just make a mess. Here's c2rust.
Classic C++ to modern C++, plus a compiler flag to lock out all the old unsafe stuff, would be an achievement.
What would you rewrite in Rust?
44 projects | reddit.com/r/rust | 11 Feb 2023
Red Black Tree in Rust
4 projects | reddit.com/r/rust | 4 Jan 2023
Well, technically, it's not hard to build such data structures. If you are willing to liberally use raw pointers, UnsafeCell, MaybeUninit and ManuallyDrop, then you can more-or-less write C-equivalent code in unsafe Rust. (there are even transpilers from C to Rust)
7 projects | news.ycombinator.com | 20 Oct 2022
In the chart at , this step is represented by a magic wand.
(I wanted to give some examples, but https://c2rust.com/ seems to not be translating today.)7 projects | news.ycombinator.com | 20 Oct 2022
Pitchfork: Rack HTTP server for shared-nothing architecture
8 projects | news.ycombinator.com | 12 Oct 2022
There are some tools specific to some transformations at least:
“Rust is safe” is not some kind of absolute guarantee of code safety
12 projects | reddit.com/r/programming | 2 Oct 2022
I expect that is because you're not particularly familiar with either LLVM or Rust, considering C can literally be transpiled to Rust.
8 projects | news.ycombinator.com | 27 Sep 2022
c2rust https://github.com/immunant/c2rust :
> C/C++ to Rust transpiler
crust https://github.com/NishanthSpShetty/crust :
> C/C++ to Rust transpiler
"CRustS: A Transpiler from Unsafe C to Safer Rust" (2022) https://scholar.google.com/scholar?q=related:WIDYx_PvgNoJ:sc...
rust-bindgen https://github.com/rust-lang/rust-bindgen/ :
Automatically generates Rust FFI bindings to C (and some C++) libraries
nushell/nushell looks like it has cool features and is written in rust.
awesome-rust > Applications > System Tools
A note from our sponsor - InfluxDB
www.influxdata.com | 31 May 2023
immunant/c2rust is an open source project licensed under GNU General Public License v3.0 or later which is an OSI approved license.
The primary programming language of c2rust is Rust.