Ada/SPARK
Lenguaje de programación moderno diseñado para aplicaciones grandes y duraderas donde la fiabilidad y la eficiencia son esenciales.
Tu guía
Resumen escrito por IAEn otro sitio. De la lista: sindresorhus/awesome · Licencia: CC0-1.0 · Lenguajes de programación · Las traducciones son generadas por IA; revisa siempre el original.
Cómo aprender con un proyecto o lista de GitHub
Tu ruta por Más lenguajes
Parada 63
Escribir un framework de pruebas MiniTest
Proyecto para construir
Parada 64
Tutorial de motor de física 3D
Proyecto para construir
Parada 65
Ada/SPARK
Lista de recursos
Parada 66
Motor de ajedrez en C
Proyecto para construir
Parada 67
ClojureScript
Lista de recursos
Parada 68
Common Lisp
Lista de recursos
Parada 69
Coq
Lista de recursos
Sigue explorando
Más lenguajes
Astronauta avanzado
Dificultad
5/5
Lista de recursos
Más lenguajes
Astronauta avanzado
Q#
Dificultad
5/5
Lista de recursos
Más lenguajes
Astronauta avanzado
Audio científico
Dificultad
5/5
Lista de recursos
Más lenguajes
Astronauta avanzado
Coq
Dificultad
5/5
Lista de recursos