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