Ada/SPARK
Linguagem de programação moderna criada para aplicativos grandes e duradouros em que a confiabilidade e a eficiência são essenciais.
Seu guia
Resumo escrito por IAEm outro site. Da lista: sindresorhus/awesome · Licença: CC0-1.0 · Linguagens de programação · As traduções são geradas por IA; confira sempre o original.
Como aprender com um projeto ou lista do GitHub
Seu caminho por Mais linguagens
Parada 63
Escrevendo um framework de testes MiniTest
Projeto para construir
Parada 64
Tutorial de motor de física 3D
Projeto para construir
Parada 65
Ada/SPARK
Lista de recursos
Parada 66
Motor de xadrez em C
Projeto para construir
Parada 67
ClojureScript
Lista de recursos
Parada 68
Common Lisp
Lista de recursos
Parada 69
Coq
Lista de recursos
Continue explorando
Mais linguagens
Astronauta avançado
Dificuldade
5/5
Lista de recursos
Mais linguagens
Astronauta avançado
Q#
Dificuldade
5/5
Lista de recursos
Mais linguagens
Astronauta avançado
Áudio científico
Dificuldade
5/5
Lista de recursos
Mais linguagens
Astronauta avançado
Coq
Dificuldade
5/5
Lista de recursos