🚀 Calling all Elixir enthusiasts! 🚀 Got a great idea, project, or use case to share? Submit your talk for #ElixirConfEU! 🔥 Deadline: 15th Dec, 2024 Submit here:

ElixirConf EU 2025: Call for Speakers

Join us for Europe’s largest Elixir Conference!For over a decade, ElixirConf EU has been the must-attend Elixir event in Europe. Every year, hund...

#Elixir #ElixirLang #TechTalks #MyElixirStatus

Mestrado Profissional em Tecnologia da Informação O processo seletivo para a Turma 2025 do Mestrado Profissional em Tecnologia da Informação do IFPB está com inscrições abertas. São três linhas de pesquisa: Ciência de Dados e Inteligência Artificial Gestão e Desenvolvimento de Sistemas Redes e Sistemas Distribuídos Inscrições: 16/10/2024 a 18/11/2024 Temas de pesquisa, vagas e outras informações em:

Processos Seletivos

New website for the Lean programming language!

Lean Language

Lean Programming Language

Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.