AeneasVerif/eurydice

Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.

C387 stars17 forksApache-2.0

Rankings

Daily

#6056

Weekly

#9981

Monthly

#12740

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/AeneasVerif/eurydice.svg)

HTML

<img src="https://trending-repos.com/badge/AeneasVerif/eurydice.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/AeneasVerif/eurydice.svg