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 COLLECTIONTakibi 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.
PlatformIO Core es una herramienta de línea de comandos de código abierto para desarrollo de software embebido, que ofrece un sistema de compilación multiplataforma, gestión de bibliotecas, depuración, pruebas unitarias y análisis estático de código para proyectos de microcontroladores.
Marco de desensamblado de código abierto escrito en C puro, que admite más de 20 arquitecturas incluyendo x86, ARM, AArch64, RISC-V, MIPS y PowerPC, con una API limpia e independiente de la arquitectura, bindings multilingües y semántica detallada de instrucciones para el análisis binario y la ingeniería inversa.
Synth es un compilador ahead-of-time de WebAssembly a nativo para ARM Cortex-M/R, RISC-V RV32IMAC y AArch64, con pruebas de corrección mecanizadas en Rocq y validación de traducción SMT. Versión pre-lanzamiento, enfocada en embebidos, Apache-2.0.
Una API ligera creada con Elysia y FFmpeg para capturar capturas de pantalla y generar GIFs a partir de enlaces HLS de episodios de anime.
Una herramienta de "configuración cero" para la compilación y prueba cruzada de crates de Rust utilizando Docker o Podman.
