I'm an undergrad studying math and CS at Arizona State University. I have some background in formal methods and functional programming, and I'd love to learn more by contributing to Rust. Are there any projects that I could contribute to? (e.g verification, fuzzing, etc..)
@Elliot Gorokhovsky lots! for example, if you are interested in the trait system, here's this roadmap sketch: https://paper.dropbox.com/doc/Traits-Roadmap-sketch--AYSlY~e7qdyU7FzUA3KRvDjQAg-m6hucUslp7GihsY3SjNN2 -- hop into #t-compiler/wg-traits for more :slight_smile: If you're interested in IDEs, there's @WG-rls2.0. For more syntax-related things, there are RFCs to implement. If you're interested in property based testing and Rust, there's https://github.com/altsysrq/proptest to check-out. There are more WGs or various smaller issues to work on if you'd like.
@centril Thanks for the info! Seems like there's lots of interesting stuff along the lines I was thinking