Alternatives and similar repositories for fgv-lp

Users that are interested in fgv-lp are comparing it to the libraries listed below

• matwerner / fgv-ed
  Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
  ☆29Updated last month
• pedrotokar / monitoria-LP
  Repositório de apoio para as monitorias do curso de Linguagens de Programação da FGV EMAp em 2024.2.
  ☆10Updated 8 months ago
• fccoelho / introcomp
  Curso de introdução à computação
  ☆41Updated last month
• emap-20242-ed / fad
  lean code
  ☆10Updated 6 months ago
• wellington36 / Resumos_EMAP-FGV
  Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP
  ☆32Updated 2 years ago
• adriankarlen / textfox
  firefox theme for the tui enthusiast
  ☆1,361Updated 2 weeks ago
• Naezr / ShyFox
  A very shy little theme that hides the entire browser interface in the window border
  ☆2,091Updated 5 months ago
• diinki / diinki-aero
  A frutiger aero themed linux rice | Hyprland
  ☆295Updated last month
• Achno / gowall
  A tool to convert a Wallpaper's color scheme / palette, image to pixel art, color palette extraction, image upsacling with Adversarial N…
  ☆1,617Updated this week
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆383Updated last week
• sergoncano / hollow-knight-grub-theme
  A theme for GRUB based off Hollow Knight's main menu.
  ☆199Updated last week
• notzeb / all
  all my notes in one place
  ☆12Updated this week
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,167Updated this week
• natanlimaz / cphb_ptbr
  Projeto de tradução do livro Competitive Programmer's Handbook
  ☆66Updated 10 months ago
• BenhurUFSM / so24b
  Disciplina de SO, 2° semestre 2024, UFSM
  ☆10Updated 7 months ago
• refact0r / system24
  a tui-like discord theme
  ☆1,620Updated last week
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆52Updated 3 years ago
• dtbinh / OpenCourse
  ☆163Updated 6 years ago
• teiarruma / deltarune-ptbr
  Uma tradução PT-BR do jogo DELTARUNE, originalmente feita pelo grupo TEIARRUMA. Traduzindo Ch3&4.
  ☆53Updated last month
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆180Updated this week
• rbadrinath / FCP
  ☆9Updated 3 weeks ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆510Updated last week
• diinki / diinki-retrofuture
  A retro-futuristic linux rice | Sway OR Hyprland
  ☆76Updated last month
• harsh-m-patil / .dotfiles
  My Dotfiles for linux
  ☆25Updated this week
• Cylis-Dragneel / old-dots
  My dotfiles from Arch
  ☆8Updated 3 months ago
• Diolinux / super-website
  Todo grande site começa de alguma forma
  ☆8Updated 10 months ago
• soulhotel / FF-ULTIMA
  The Firefox theme with too many options.. FF Ultima.
  ☆888Updated this week
• edsomjr / RLT
  Roda de leitura técnica em Computação, Engenharia de Software e Matemática
  ☆10Updated 10 months ago
• RemyDegenne / brownian-motion
  Construction of a Brownian Motion in Lean
  ☆16Updated last week
• vimichael / make-windows-pretty
  Some tools I used for making Windows 11 look nice.
  ☆934Updated 8 months ago