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

2 pointsposted 5 hours ago
by iamthebesthere
(github.com)

1 Comments