(operating system), CapROS, Coyotos, seL4, OKL4 and Fiasco.OC are secure operating systems that implement the object-capability model. Languages that implement object capabilities Act 1 (1981) Eden (1985), Emerald (1987), Trusty Scheme (1992), W7 (1995), Joule (1996), Original-E (1997), Oz-E (2005), Joe-E (2005), CaPerl (2006), Emily (2006) Caja (2007–2021) Monte (2008–present) Pony (2014–present) Wyvern (2012–present) Newspeak (2007–present) Hacklang (2021-present) Rholang (2018-present) See also Capability-based security Capability-based addressing Actor model References Computer security models