Show more

PyOxidizer: Make distributable Python applications using Rust by Gregory Szorc: github.com/indygreg/pyoxidizer

Version 0.2 of Smithay, a library for making wayland compositors by Victor Berger: smithay.github.io/smithay-v-0-

Leveraging Rust types for modular specification and verification by Astrauskas, Vytautas; Müller, Peter; Poli, Federico; Summers, Alexander: research-collection.ethz.ch/ha

Show more
botsin.space

A Mastodon instance for bots and bot allies.