Joás's repositories
crafting.interpreter
💖✨ compilers 💖✨
Language:Rust000
functional-light-js
Tradução para o português do livro Functional Light JS
Language:JavaScriptNOASSERTION000
gruvbox-eclipse-theme
gruvbox dark theme for Eclipse programs.
MIT000
iguinho-the-explorer
web scraper
learning-algorithms
algorithms but go ✨
learning-elixir
a linguagem brazuca 🇧🇷
MPL-2.0000
learning-ocaml
why not?
learning-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Language:RustApache-2.0000
learning-type-theory
An introduction to programming language theory in Agda
Language:AgdaCC-BY-4.0000
learning-polkadot
welcome
MIT000
learning-ruby
rubykoans.com
Language:Ruby000
llm-from-scratch
Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step
Language:Jupyter NotebookNOASSERTION000
maltexto
me
000
plfa-but-Lean4
Learn Lean 4 with PLFA proofs.
Language:LeanMIT000
Language:TypeScriptAGPL-3.0000
pokerogueserver
Game server backend and API for PokéRogue
Language:GoAGPL-3.0000