A Limbo általános célú programozási nyelv, melyet a Lucent Technologies fejlesztett ki elsősorban Inferno operációs rendszer alá.
Nem tartalmaz objektum-orientált elemeket. Procedurális nyelv, mely a moduláris tervezést támogatja különálló deklarációs és implementációs részekkel.
Támogatja a folyamatok közötti kommunikációt (csatorna típussal), az automatikus szemétgyűjtést és absztrakt adattípusok létrehozását.