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-Book
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
sergiobonatto.github.io
Meu site pessoal e blog onde posto coisas que acho interessantes
shitereum
a rust blockchain
SergioBonatto's Repositories
SergioBonatto/bend-lang-utils
Bend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language
SergioBonatto/bend-vim
syntax highlighting for bend
SergioBonatto/Lambda-hvm
SergioBonatto/Bend-Book
SergioBonatto/OSX
SergioBonatto/sergiobonatto.github.io
Meu site pessoal e blog onde posto coisas que acho interessantes
SergioBonatto/shitereum
a rust blockchain
SergioBonatto/Bend-fork
A massively parallel, high-level programming language
SergioBonatto/Beta-reduction-animation
SergioBonatto/card
npx card
SergioBonatto/chaterium
SergioBonatto/class
SergioBonatto/curso-js
SergioBonatto/dotfiles
SergioBonatto/fogbell.vim
my custom fogbell
SergioBonatto/functions-tests
SergioBonatto/GianlucaBonatto
Config files for my GitHub profile.
SergioBonatto/ICVM-lazy
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
SergioBonatto/kind-ai
SergioBonatto/Kind2
A next-gen functional language
SergioBonatto/kindex-ai
SergioBonatto/matematica
🧮 Um caminho para a educação autodidata em Matemática!
SergioBonatto/mudar_imagens
SergioBonatto/my-kind-ai-index
SergioBonatto/new-issue
SergioBonatto/OwO
SergioBonatto/Rust-exercises
SergioBonatto/SergioBonatto
SergioBonatto/stable-diffusion-webui
Stable Diffusion web UI
SergioBonatto/Wikind
Collection of Kind2 programs and proofs