Dragon's Egg: a formally verified, distributed object-capability OS

 (github.com)

2 points | by iamthebesthere 5 hours ago ago

1 comments