A full-featured and easy-to-use web framework with the Rust programming language. - GitHub - poem-web/poem: A full-featured and easy-to-use web framework with the Rust programming language. (more…)

In which I expand a little bit upon async functionality in Rust, introducing attributes that allow you to run async functions in your main function. (more…)

Migrate C code to Rust. Contribute to immunant/c2rust development by creating an account on GitHub. (more…)

:mailbox_with_mail: Easily and securely share files from the command line. A fully featured Firefox Send client. (more…)

Paper Technical Appendix Coq Formalization Artifact (with VM) ... (more…)