takibitakibi-lang
NOUVEAUTakibi est un langage de systèmes de recherche et un noyau monolithique compatible Linux-ABI, conçu pour transformer les pannes d'exécution du noyau en erreurs de compilation grâce aux types de raffinement et à la propriété affine.