Un exemplu ye CosmicOS, basáu en Lincos y na novela Contautu de Carl Sagan.[5] Otra ye una segunda xeneración de Lingua Cosmica, desenvuelta pol astrónomu y matemáticu suecu-neerlandés Alexander Ollongren[6] de la Universidá de Leiden, utilizando una lóxica constructiva.[7][8]