Well, I've been looking forward to an actor library ( https://github.com/rust-lang/rust/issues/3573) although I think someone already wrote a paper on that.
You could look into Rust's wishlist issues <https://github.com/rust-lang/rust/labels/I-wishlist?page=3&q=is%3Aopen+label%3AI-wishlist> or the "An Interesting Project" <https://github.com/rust-lang/rust/labels/A-an-interesting-project> issues Rust also has been looking to verify that the type system works? Niko has a redex model <https://github.com/nikomatsakis/rust-redex> and you can probably work with that. Sincerely, ~~Davis Silverman ~Sinistersnare On Wed, Oct 8, 2014 at 9:27 PM, Manish Goregaokar <manishsm...@gmail.com> wrote: > Servo has a bunch of student projects > <https://github.com/servo/servo/wiki/Student-projects> that you might be > interested in. > > -Manish Goregaokar > > On Thu, Oct 9, 2014 at 6:50 AM, Corey Richardson <co...@octayn.net> wrote: > >> LLVM already has support for instrumenting code to generate gcov data, >> I believe Luqman and Huon have looked into this, at least slightly. >> >> On Wed, Oct 8, 2014 at 9:09 PM, Sean McArthur <smcart...@mozilla.com> >> wrote: >> > A project I'd love to see (either separate, or eventually baked into the >> > test harness), is test coverage data. Something like how Go's cover[1] >> > works, by adding counters to the source code, seems simplest. I've >> thought >> > about this, and it could either be a CLI tool, like `rustc --cover >> --test`, >> > or a plugin. Perhaps including a `#![cover]` attribute in the crate or >> > something. With a plugin, the Plugin Registrar would need to add the >> ability >> > to register a Visitor that can modify the AST. >> > >> > [1] http://blog.golang.org/cover >> > >> > _______________________________________________ >> > Rust-dev mailing list >> > Rust-dev@mozilla.org >> > https://mail.mozilla.org/listinfo/rust-dev >> > >> >> >> >> -- >> http://octayn.net/ >> _______________________________________________ >> Rust-dev mailing list >> Rust-dev@mozilla.org >> https://mail.mozilla.org/listinfo/rust-dev >> > > > _______________________________________________ > Rust-dev mailing list > Rust-dev@mozilla.org > https://mail.mozilla.org/listinfo/rust-dev > >
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev