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

 (github.com)

5 points | by iamthebesthere a day ago ago

1 comments