Dragon's Egg: a formally verified, distributed object-capability OS
Dragon's Egg is a formally verified, distributed operating system based on the object-capability model. It aims to provide strong security guarantees through formal verification of its core components, enabling safe distributed computing with fine-grained access control.