Sergio Bonatto's repositories
Bend
A massively parallel, high-level programming language
bend-syntax-highlighter
Source code for vscode extension of Bend programming language.
sergiobonatto.github.io
Meu site pessoal e blog onde posto coisas que acho interessantes
bend-lang-utils
Bend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language
GianlucaBonatto
Config files for my GitHub profile.
ICVM-lazy
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
shitereum
a rust blockchain
Wikind
Collection of Kind2 programs and proofs
stable-diffusion-webui
Stable Diffusion web UI
matematica
🧮 Um caminho para a educação autodidata em Matemática!
card
npx card
Kind2
A next-gen functional language
fogbell.vim
my custom fogbell