Cloudflare's Rust service foundations library. Contribute to cloudflare/foundations development by creating an account on GitHub. (more…)

Slack alternative built with TAMASHA. Contribute to gamedolphin/speakwith development by creating an account on GitHub. (more…)

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

Fast multi-threaded DataFrame library in Rust and Python - GitHub - pola-rs/polars: Fast multi-threaded DataFrame library in Rust and Python... (more…)

Several months ago we announced that we were providing a new public time service. Part of what we were providing was the first major deployment of the new Network Time Security protocol, with a newly written implementation of NTS in Rust. (more…)