Alternatives and similar repositories for fad

Users that are interested in fad are comparing it to the libraries listed below

• wellington36 / Resumos_EMAP-FGV
  Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP
  ☆32Updated 2 years ago
• maxbiostat / Statistical_Inference_BSc
  Course materials for Statistical Inference ("Inferência Estatística")
  ☆59Updated last year
• fccoelho / Reinforcement-Learning-course
  Advanced course on Reinforcement Learning.
  ☆30Updated 7 months ago
• 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
• 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…
  ☆30Updated last year
• matwerner / fgv-ed
  Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
  ☆29Updated 2 weeks ago
• Caioflp / monitoria-algebra-linear
  Repositório para disponibilizar o material feito pelos monitores da disciplina de Álgebra Linear da EMAp.
  ☆28Updated 3 years ago
• maxbiostat / stats_modelling
  Resources for Statistical Modelling ("Modelagem Estatística").
  ☆67Updated last week
• maxbiostat / Statistical_Inference_MSc
  Course materials for [Statistical Inference](https://emap.fgv.br/disciplina/inferencia-estatistica)
  ☆20Updated 8 months ago
• torresmateo / fgv-class-2022
  ☆14Updated 2 years ago
• lucasmoschen / ta-sessions
  This repository includes codes related with the FGV EMAp lectures which I worked as teacher assitant.
  ☆12Updated last year
• lrsantos11 / Tutorial-Julia-Opt
  ☆13Updated last year
• fccoelho / Modelagem-Matematica-IV
  Repositório do Curso de Modelagem Matemática IV - Modelagem de Sistemas Biológicos
  ☆22Updated last year
• rsouza / NeuralNetworks_Course
  ☆37Updated last month
• maxbiostat / Computational_Statistics
  Course materials for Computational Statistics, PhD course at EMAp.
  ☆36Updated this week
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆38Updated 6 months ago
• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆21Updated 2 months ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆57Updated last week
• matwerner / fgv-lp
  ☆16Updated 7 months ago
• abdoo8080 / lean-cvc5
  A Foreign Function Interface (FFI) to cvc5 solver in Lean.
  ☆18Updated last month
• rsouza / Databases_Course
  Material for the discipline "Database Modeling and Use"
  ☆29Updated 3 years ago
• fccoelho / introcomp
  Curso de introdução à computação
  ☆41Updated 2 weeks ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆68Updated 2 years ago
• barrafas / Monitoria_LP
  ☆10Updated 2 years ago
• fccoelho / curso_pygame
  Criando um jogo de naves espaciais com Pygame. Para iniciantes em Python
  ☆44Updated 2 years ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated 3 weeks ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 7 months ago
• davibarreira / Vizagrams.jl
  Integrating diagramming and data visualization
  ☆57Updated last month
• mirefek / lean-tactic-programming-guide
  Beginner's guide to Tactic Programming in Lean
  ☆24Updated last week
• sinhp / ProofLab
  ☆9Updated 2 years ago