/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 tokio.rs
Making the Tokio scheduler 10x faster | Tokio - An asynchronous Rust runtime
| | developerlife.com
Write code using async/await in Rust | developerlife.com
2.8 parsecs away

Travel
| | This article illustrates how to write concurrent and parallel code in Rust using Tokio. The pedagogical example we will use is building an asynchronous implementation of a middleware runner that you might find in a Redux store.
| | without.boats
Why async Rust?
3.1 parsecs away

Travel
| |
| | github.com
GitHub - tokio-rs/tokio: A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
1.3 parsecs away

Travel
| | A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ... - tokio-rs/tokio
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. ยท GitHub
3.0 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.