software · 5 menciones
F* (pronunciado «F star») es un lenguaje de programación de propósito general orientado a la demostración formal, que combina programación puramente funcional y con efectos. Reúne el poder expresivo de los tipos dependientes con automatización de pruebas basada en resolutores SMT y demostración inte
scriptc es un compilador experimental, desarrollado por vercel-labs, que traduce código TypeScript ordinario a ejecutables nativos pequeños y rápidos, sin necesidad de Node ni de un motor de JavaScript incluido en el binario. La promesa central es que el mismo TypeScript que se ejecuta sobre Node —t
Un nuevo proyecto de código abierto llamado 'Adam' ha sido lanzado, ofreciendo una biblioteca en C para simplificar el desarrollo de agentes de inteligencia artificial. Adam proporciona un bucle de agente completo, incluyendo la llamada a herramientas, la gestión de la memoria, sesiones, soporte par
Un desarrollador ha creado WiiFin, un cliente experimental de código abierto para la consola Nintendo Wii que permite transmitir contenido multimedia desde el servidor Jellyfin. El proyecto, impulsado por Fabienmillet en GitHub, ofrece una experiencia de navegación y reproducción de medios adaptada
Un equipo de desarrolladores ha presentado TinyOS-RTOS, un nuevo sistema operativo de tiempo real (RTOS) ultra-ligero diseñado para dispositivos IoT y embebidos con recursos limitados. Con un tamaño de núcleo inferior a 10 KB y un mínimo de 2 KB de RAM, este RTOS ofrece funcionalidades esenciales co