Capla est un langage de programmation dédié aux bibliothèques numériques bas niveau, conçu pour améliorer la confiance dans des outils comme GMP ou BLAS. Il garantit la sécurité mémoire et temporelle des programmes générés grâce à une sémantique formalisée et un compilateur prouvé. Le langage cible principalement les applications nécessitant des calculs précis et performants, comme les bibliothèques d'algèbre linéaire ou les systèmes critiques.