matwerner / fgv-lpLinks
☆17Updated this week
Alternatives and similar repositories for fgv-lp
Users that are interested in fgv-lp are comparing it to the libraries listed below
Sorting:
- Material de apoio ao curso de Estrutura de Dados da EMAp-FGV☆28Updated last month
- Repositório para a monitoria do curso de Álgebra Linear 2023.2 da EMAp.☆8Updated last year
- Repositório de apoio para as monitorias do curso de Linguagens de Programação da FGV EMAp em 2024.2.☆10Updated 9 months ago
- Curso de introdução à computação☆41Updated last month
- A frutiger aero themed linux rice | Hyprland☆309Updated 2 months ago
- The math library of Lean 4☆2,238Updated this week
- Solutions of previous ACM-ICPC Latin American Regionals and ACM-ICPC Brazil Subregionals Contests☆27Updated 5 years ago
- Projeto de tradução do livro Competitive Programmer's Handbook☆68Updated 11 months ago
- Repositório para códigos de competição☆40Updated 2 weeks ago
- All of my wallpapers in one repo.☆3,718Updated last year
- all my notes in one place☆12Updated 3 weeks ago
- LAMAR: Learning Assembly for Machine Architecture and RISC-V☆53Updated 3 months ago
- ☆10Updated 11 months ago
- Criando um jogo de naves espaciais com Pygame. Para iniciantes em Python☆44Updated 2 years ago
- ☆20Updated 2 weeks ago
- CAVA config files.☆7Updated last year
- firefox theme for the tui enthusiast☆1,410Updated this week
- A theme for GRUB based off Hollow Knight's main menu.☆210Updated 3 weeks ago
- Lean 3's obsolete mathematical components library: please use mathlib4☆1,669Updated last year
- Tutorial para instalar Ragnarok LATAM via ProtonDB☆22Updated last month
- A repository of wallpapers I’ve collected over the years.☆51Updated this week
- The user home repository for the Mathematics in Lean tutorial.☆391Updated last month
- CD-MOJ☆23Updated last month
- My dotfiles from Arch☆8Updated 3 months ago
- A grub theme with Osage Chan from Inabakumori☆30Updated 4 months ago
- 🎨 Curated list of awesome themes, tools and apps for customizing the Linux environment.☆503Updated last week
- ☆21Updated 2 months ago
- Solutions to the Real Analysis books by Professor Elon Lages Lima.☆59Updated last month
- Collection of problems and solutions of final and regional ICPC contests☆12Updated 9 months ago
- A very segsy rice☆491Updated 2 weeks ago