Substrate | | Historical System | | System
|
Hardware | | Plessey 250, CAP, C.mmp, IBM Sys38, Intel 432 | | CHERI, Risc-V
|
OS | | DVH, Hydra, Cal-TSS, KeyKOS, EROS, Coyotos | | Capsicum, seL4, Fuscia
|
Distributed OS | | Ameoba, Mach, Midori | |
|
Language | | Gedanken, W7, Joe-E, Emily, Caja | | Monte, Frozen Realms, Wyvern, wasm-gc
|
Distributed Language | | Eden, Emerald, Joule, E, M# | | Pony, Kappa, Dr.SES
|
Crypto Protocol | | DCCS, RATS, CapTP, Foolscap, Client Utility, Waterken | | Cap’n Proto
|
Offline Certs | | SPKI/SDSI, E-Speak, CapCert | | Macaroons, lds-ocap
|
Blockchain | | | | Gravity, Dfinity, RChain, Cosmos, Agoric Systems
|
User Interface | | CapDesk, Belay | | Sandstorm
|