takibitakibi-lang
NUEVOTakibi es un lenguaje de sistemas de investigación y un kernel monolítico compatible con Linux-ABI, diseñado para trasladar los fallos de ejecución del kernel a errores de compilación mediante tipos de refinamiento y propiedad afín.