Dragon's Egg: a formally verified, distributed object-capability OS(github.com)
1 pointby iamthebesthere2 hours ago1 comment