Pinned Repositories
functional-light-js
crafting.interpreter
💖✨ compilers 💖✨
dotfiles
my *unix dot files
gruvbox-eclipse-theme
gruvbox dark theme for Eclipse programs.
iguinho-the-explorer
web scraper
jabuti
jwt
kikaha
sizebay
kikaha-cli
command line interface for Kikaha
learning-algorithms
algorithms but go ✨
learning-type-theory
An introduction to programming language theory in Agda
maltexto's Repositories
maltexto/crafting.interpreter
💖✨ compilers 💖✨
maltexto/dotfiles
my *unix dot files
maltexto/gruvbox-eclipse-theme
gruvbox dark theme for Eclipse programs.
maltexto/jabuti
jwt
maltexto/kikaha
sizebay
maltexto/kikaha-cli
command line interface for Kikaha
maltexto/learning-algorithms
algorithms but go ✨
maltexto/learning-elixir
a linguagem brazuca 🇧🇷
maltexto/learning-ocaml
why not?
maltexto/learning-type-theory
An introduction to programming language theory in Agda
maltexto/lihaoyi
learning Scala 💖✨
maltexto/learning-ruby
rubykoans.com
maltexto/llm-from-scratch
Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step
maltexto/plfa-but-Lean4
Learn Lean 4 with PLFA proofs.
maltexto/pokerogue
maltexto/pokerogueserver
Game server backend and API for PokéRogue