开源雷达国内 GitHub 镜像站
加速通道已就绪 返回列表
全部项目

axiosoph/axios

A decentralized system compositor: composition-addressed, verifiable from published source to running system.

语言:Rust · GitHub 星标:45 · Fork:1

话题:build-system · composition-addressing · content-addressable · decentralized · formal-verification · hermetic-builds · nix · provenance

在 GitHub 上查看原仓库

正在读取项目信息…