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

 (github.com)

5 points | by iamthebesthere  a day ago

1 comments