NaoEhSavio
T.I., GEEK, NERD, ROCK, GAMER... Viva cada segundo como se fosse o último, sempre de o máximo de você em tudo...
Pinned Repositories
abstract-algorithm
Optimal evaluator of λ-calculus terms.
awesome-bend
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
Functional-Benchmarks
Collection of benchmarks of functional programming languages and proof assistants.
Hvmon
High-Order Virtual Monsters is a Battle Showdown Game.
learning
Lotofacil
Jogando na Lotofácil utilizando rede neural.
NaoEhSavioClass
Class
tiny-blockchain
NaoEhSavio's Repositories
NaoEhSavio/tiny-blockchain
NaoEhSavio/Bend-Book
NaoEhSavio/Functional-Benchmarks
Collection of benchmarks of functional programming languages and proof assistants.
NaoEhSavio/Hvmon
High-Order Virtual Monsters is a Battle Showdown Game.
NaoEhSavio/learning
NaoEhSavio/Lotofacil
Jogando na Lotofácil utilizando rede neural.
NaoEhSavio/NaoEhSavioClass
Class
NaoEhSavio/abstract-algorithm
Optimal evaluator of λ-calculus terms.
NaoEhSavio/awesome-bend
NaoEhSavio/bend-lang-utils
Bend Utils is an unofficial repository that gathers a series of useful functions and types for developers using the Bend language
NaoEhSavio/binance-rs
Rust Library for the Binance API
NaoEhSavio/didactic-succotash
NaoEhSavio/Git-test
Teste Git
NaoEhSavio/HOC
NaoEhSavio/HVM
A massively parallel, optimal functional runtime in Rust
NaoEhSavio/kind-language-server
NaoEhSavio/pokemon-chart
Colorblind-friendly heatmaps of move effectiveness against pokemon
NaoEhSavio/rust
NaoEhSavio/twitter_clone
NaoEhSavio/hvm-lang
NaoEhSavio/HVM2
NaoEhSavio/IINS-Lazy
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
NaoEhSavio/Kindelia
Kindelia: an efficient, secure cryptocomputer
NaoEhSavio/Learn4Elixir
Aprenda Elixir em 4 Pull Requests!
NaoEhSavio/markup
Determines which markup library to use to render a content file (e.g. README) on GitHub
NaoEhSavio/NaoEhSavioKind
A modern proof language
NaoEhSavio/NaoEhSavioWikind
Vast collection of Kind2 definitions
NaoEhSavio/ok
NaoEhSavio/rust-atomics-and-locks
Code examples, data structures, and links from my book, Rust Atomics and Locks.
NaoEhSavio/vscode-kind-syntax
VSCode syntax highlight for Kind language