B̅Robigalia，Redox OS以外に稼動段階にあるRust言語製OSあったんだ。しかも形式証明附きとか面白そう (KONAMI)。Rust言語の言語機能と相性は良さげだね，少なくともC言語みたいな保証機構がない言語で一からやるよりは？
hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.
All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.