-
mioco
[no longer maintained] Scalable, coroutine-based, fibers/green-threads for Rust. (aka MIO COroutines).
Honestly Rust with green threads as an option would be exciting one. Looks like there has been an attempt before (https://github.com/dpc/mioco - no longer maintained).
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
-
(see https://github.com/rayon-rs/rayon/tree/master/src/iter/plumbing)
-
Perhaps it's worth looking into Inko? I apologise if I'm shilling my own project a bit too hard here, but reading through the comments it does seem people would be interested in what it's trying to do :)
-
Then, actually unrelated but worth mentioning: HVM. Finally, something new on the functional front that isn't dependent types!