ooo, wheres this vector model? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		carterschonwald on March 18, 2014 \| parent \| context \| favorite \| on: Announcing the new Rust package manager, Cargo ooo, wheres this vector model?

kibwen on March 18, 2014 [–]

This is the only one that I know of, not sure if it's the one pcwalton was referring to:

https://github.com/nikomatsakis/rust-redex

dbaupp on March 18, 2014 | | [–]

https://github.com/anasazi/rust-redex is more recent and is actively being worked on (by ecr on IRC).

bjz_ on March 18, 2014 | | [–]

Awesome! Will have to delve into this later... a formal proof is going to be super important for Rust.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact