&inator: Correct, Precise C-to-Rust Interface Translation

Published 2026 | Version v2

Software Open

Files

Name	Size	Download all
benchmarks.tar.gz md5:7892009f0317c6f30328a0b7293f0f97	26.0 kB	Download
LICENSE md5:33198803fd83197df9b8c9cde0a8209b	597 Bytes	Download
manual-translations.tar.gz md5:2f1f42c25405ef8eeb9cfedd80c45160	9.0 kB	Download
README.md md5:c31d62955a9b3894e28ef2dfa080d472	14.3 kB	Preview Download
refinator-linux-amd64.tar.gz md5:75be10de6694ea022595a457f93e62a2	635.0 MB	Download
refinator-linux-arm64.tar.gz md5:36c9ebd88afe8ad6c2e4c959650373a1	578.9 MB	Download
refinator-src.tar.gz md5:702f2fdea6589d368bbe9e3878380bce	107.0 kB	Download

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

License: MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more; GNU General Public License v3.0 or later

Permissions of this strong copyleft license are conditioned on making available complete source code of licensed works and modifications, which include larger works using a licensed work, under the same license. Copyright and license notices must be preserved. Contributors provide an express grant of patent rights. Read more