Adolfo Neto's repositories
caes005-introduction-to-functional-programming
CAES005 - Introdução à Programação Funcional
brazilian-cs-research
Curated lists related to Brazilian Computer Science research and researchers
Logicamente-UTFPR
A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.
pensandoemelixir
Pensando em Elixir
caes001-agile-software-development
CAES001 - Agile Software Development at UTFPR
adolfont.github.io
Adolfo Neto's homepage
podcast_backuper
Podcast Backuper allows you to have private copies of any podcast that has a RSS
techpodcastsbr
Listagem de podcasts ativos de tecnologia
eigr.github.io
The https://eigr.io website
awesome-elixir-brazil
Lista de recursos Elixir para a comunidade brasileira
awesome-geek-podcasts
A curated list of podcasts we like to listen to.
eventos-tech-brasil
Lista de eventos tech que acontecem no Brasil
fp-lean
Functional Programming in Lean
Learn4Elixir
Aprenda Elixir em 4 Pull Requests!
learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
LogicCircuitGame
Um jogo WEB de circuitos lógicos para o ensino de pensamento computacional
masters-of-elixir
A comprehensive collection of resources for mastering Elixir.
rebar3_hank
The Erlang Dead Code Cleaner
rinha_lean_sofia_gabi
🧪 | Rinha de Backend Lean4
taskify
A toy program for introduction to Phoenix framework
Video-Silence-Remover
A tool created to automatically remove silence from videos.