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 6 months ago
• jaopredo / holy-emapian-scripture
  Notes/Psets/Recaps and useful student-made material for EMAp's students
  ☆14Updated last month
• fccoelho / introcomp
  Curso de introdução à computação
  ☆42Updated 6 months ago
• pedrotokar / monitoria-LP
  Repositório de apoio para as monitorias do curso de Linguagens de Programação da FGV EMAp em 2024.2.
  ☆10Updated last year
• maxbiostat / Statistical_Inference_BSc
  Course materials for Statistical Inference ("Inferência Estatística")
  ☆63Updated 2 years ago
• maxbiostat / stats_modelling
  Resources for Statistical Modelling ("Modelagem Estatística").
  ☆66Updated 6 months ago
• Caioflp / monitoria-algebra-linear
  Repositório para disponibilizar o material feito pelos monitores da disciplina de Álgebra Linear da EMAp.
  ☆28Updated 4 years ago
• wellington36 / Resumos_EMAP-FGV
  Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP
  ☆33Updated 2 years ago
• fccoelho / curso_pygame
  Criando um jogo de naves espaciais com Pygame. Para iniciantes em Python
  ☆50Updated 3 years ago
• TXG0Fk3 / Hyprland-Dots
  My DotFiles for Hyprland
  ☆22Updated 5 months ago
• lucasmoschen / modelo-tcc-emap
  Este repositório contém os arquivos necessários para começar o Trabalho de Conclusão de Curso da Escola de Matemática Aplicada (FGV EMAp…
  ☆29Updated last year
• fccoelho / Modelagem-Matematica-IV
  Repositório do Curso de Modelagem Matemática IV - Modelagem de Sistemas Biológicos
  ☆22Updated 2 years ago
• teorth / analysis
  A Lean companion to Analysis I
  ☆1,423Updated last week
• Caioflp / monitoria-teoria-da-probabilidade
  Repositório para o material feito pelos monitores da disciplina de Teoria da Probabilidade da FGV EMAp, ministrada no primeiro semestre d…
  ☆10Updated 3 years ago
• torresmateo / fgv-class-2022
  ☆14Updated 2 years ago
• fellipetoffolo / super-projeto-tv-box
  Estudo técnico dos modelos e dos componentes de hardware - Descaracterização via instalação de sistemas open source compatíveis - Avaliaç…
  ☆12Updated 7 months ago
• BRUTEUdesc / AlmanaqueBrute
  Repositório para códigos de competição
  ☆51Updated this week
• Xumaquer / mdbook-linguagem-c
  ☆72Updated last month
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆787Updated this week
• psygreg / linuxtoys
  The user-friendly collection of tools for Linux.
  ☆1,094Updated this week
• AnarcoTraducoes / eastward-ptbr
  Repositório para Tradução de Eastward para PT-BR - PC
  ☆22Updated 8 months ago
• edudscrc / dotfiles
  Hyprland dotfiles
  ☆35Updated 4 months ago
• cd-moj / cdmoj
  CD-MOJ
  ☆24Updated 6 months ago
• oliveira-sh / pymocd
  A Multi-objective community detection library written in Rust exposed to python through PyO3
  ☆17Updated last month
• leanprover-community / mathematics_in_lean
  The user home repository for the Mathematics in Lean tutorial.
  ☆452Updated 5 months ago
• leanprover-community / mathlib4
  The math library of Lean 4
  ☆2,742Updated this week
• rbadrinath / FCP
  ☆12Updated last month
• ecx2f / windots
  custom windows 11 dotfiles with catppuccin theming, ui refinements, terminal configs, and productivity optimizations.
  ☆26Updated 6 months ago
• diinki / diinki-aero
  A frutiger aero themed linux rice | Hyprland
  ☆388Updated 7 months ago
• rsouza / Python_Course
  An introductory and intermediate course on Python
  ☆35Updated 2 years ago