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

(github.com)

5 points | by iamthebesthere a day ago ago

1 comments