Descubre proyectos de código abierto de calidad, envía proyectos de forma anónima y reclama y edita tu propio proyecto.
Un poco de curiosidad. Un mundo de código abierto.
THE FIRST COLLECTIONMenos de 10 estrellas y 5+ commits en los últimos 30 días: proyectos hechos con cuidado.
Takibi 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.
