SergioBonatto
I am the father of Matteo, a Reformed theologian, self-taught, open-source philosophy enthusiast, nerd, handsome, and a non-practicing vegan
HigherOrderCO São Paulo, SP
Pinned Repositories
Bend
A massively parallel, high-level programming language
Kind
A modern proof language
monobook
AGDA
bend-lang-utils
Bend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language
bend-vim
syntax highlighting for bend
Lambda-hvm
Livros-Hacker
Livros para estudo hacker
OSX
todo-vim
SergioBonatto's Repositories
SergioBonatto/Livros-Hacker
Livros para estudo hacker
SergioBonatto/AlunosPlatzi
Repositório para os alunos Platzi do curso de Git e GitHub.
SergioBonatto/awesome-cs
Uma lista revisada de recursos práticos e acadêmicos para estudantes de Ciência da Computação.
SergioBonatto/Beta-Reduction-Net-Animator
Animations for Elementary-Affine-Net interactions
SergioBonatto/DeepPrivacy
DeepPrivacy: A Generative Adversarial Network for Face Anonymization
SergioBonatto/elysium-max-exoskeleton
Cyberpunk Elysium Max Exoskeleton replica
SergioBonatto/free-programming-books
:books: Freely available programming books
SergioBonatto/Hacking-Security-Ebooks
Top 100 Hacking & Security E-Books (Free Download)
SergioBonatto/linux-pictures
Repository with plenty of linux related pictures
SergioBonatto/lnxpcs
Linux Pics
SergioBonatto/movies-for-hackers
🎬 A curated list of movies every hacker & cyberpunk must watch.
SergioBonatto/para-entender-a-internet
Videos e memes obrigatórios para conversas do dia-a-dia
SergioBonatto/Python-programming-exercises
100+ Python challenging programming exercises
SergioBonatto/WMs-Herbstluftwm
Configuraçoes pessoais da WM "herbstluftwm", juntamente com suas respectivas ferramentas e dependencias