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.
OPEN SOURCE, OPEN TO EVERYONE
Código abierto. Nuevas posibilidades.
Descubre proyectos de código abierto de calidad, envía proyectos de forma anónima y reclama y edita tu propio proyecto.
✳Selección editorial · Descubre buen código abierto4109descubiertos
Un poco de curiosidad. Un mundo de código abierto.
THE FIRST COLLECTIONTopic: usb清除
takibitakibi-lang
NUEVOsensitivityHas-X
NUEVOSensitivity es una herramienta de flasheo y rescate para Xiaomi Mi Recovery multiplataforma, con una aplicación nativa WinUI 3 para Windows y una CLI de Rust. Valida ROMs de Recovery oficiales, las flashea por USB y proporciona diagnósticos, sin necesidad de adb, bootloader desbloqueado o software propietario de Xiaomi.
ventoyventoy
NUEVOVentoy es una herramienta de código abierto para crear unidades USB arrancables que soporta ISO, WIM, IMG, VHD(x) y EFI. Los usuarios pueden copiar archivos de imagen directamente en la unidad USB y arrancar sin formatear repetidamente.