Pinned Repositories
crafting.interpreter
💖✨ compilers 💖✨
dotfiles
my *unix dot files
functional-light-js
Tradução para o português do livro Functional Light JS
gruvbox-eclipse-theme
gruvbox dark theme for Eclipse programs.
iguinho-the-explorer
web scraper
learning-algorithms
algorithms but go ✨
learning-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
learning-type-theory
An introduction to programming language theory in Agda
lihaoyi
learning Scala 💖✨
pivete
:cyclone: bfs web crawler
maltexto's Repositories
maltexto/crafting.interpreter
💖✨ compilers 💖✨
maltexto/dotfiles
my *unix dot files
maltexto/functional-light-js
Tradução para o português do livro Functional Light JS
maltexto/gruvbox-eclipse-theme
gruvbox dark theme for Eclipse programs.
maltexto/iguinho-the-explorer
web scraper
maltexto/learning-algorithms
algorithms but go ✨
maltexto/learning-elixir
a linguagem brazuca 🇧🇷
maltexto/learning-ocaml
why not?
maltexto/learning-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
maltexto/learning-type-theory
An introduction to programming language theory in Agda
maltexto/lihaoyi
learning Scala 💖✨
maltexto/pivete
:cyclone: bfs web crawler
maltexto/learning-ruby
rubykoans.com
maltexto/llm-from-scratch
Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step
maltexto/maltexto
me
maltexto/plfa-but-Lean4
Learn Lean 4 with PLFA proofs.
maltexto/pokerogue
maltexto/pokerogueserver
Game server backend and API for PokéRogue