Alternatives and similar repositories for fad:

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

• torresmateo / fgv-class-2022
  ☆14Updated last year
• wellington36 / Resumos_EMAP-FGV
  Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP
  ☆32Updated last year
• fccoelho / curso-IRI
  Introdução à Recuperação de Informações
  ☆15Updated 2 years 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 2 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 11 months ago
• maxbiostat / Statistical_Inference_BSc
  Course materials for Statistical Inference ("Inferência Estatística")
  ☆60Updated last year
• maxbiostat / Statistical_Inference_MSc
  Course materials for [Statistical Inference](https://emap.fgv.br/disciplina/inferencia-estatistica)
  ☆20Updated 4 months ago
• lucasmoschen / ta-sessions
  This repository includes codes related with the FGV EMAp lectures which I worked as teacher assitant.
  ☆12Updated last year
• fccoelho / Modelagem-Matematica-IV
  Repositório do Curso de Modelagem Matemática IV - Modelagem de Sistemas Biológicos
  ☆22Updated last year
• raphaeltinarrage / EMAp
  ☆12Updated 4 years ago
• lrsantos11 / Tutorial-Julia-Opt
  ☆13Updated last year
• maxbiostat / Computational_Statistics
  Course materials for Computational Statistics, PhD course at EMAp.
  ☆32Updated last year
• rsouza / NeuralNetworks_Course
  ☆36Updated 4 months ago
• maxbiostat / stats_modelling
  Resources for Statistical Modelling ("Modelagem Estatística").
  ☆60Updated this week
• fccoelho / Reinforcement-Learning-course
  Advanced course on Reinforcement Learning.
  ☆28Updated 3 months ago
• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆19Updated 3 weeks ago
• Caioflp / monitoria-algebra-linear
  Repositório para disponibilizar o material feito pelos monitores da disciplina de Álgebra Linear da EMAp.
  ☆30Updated 3 years ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆43Updated last week
• fccoelho / curso_pygame
  Criando um jogo de naves espaciais com Pygame. Para iniciantes em Python
  ☆44Updated 2 years ago
• rsouza / Databases_Course
  Material for the discipline "Database Modeling and Use"
  ☆29Updated 3 years ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆34Updated 2 months ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆21Updated 3 months ago
• barrafas / Monitoria_LP
  ☆10Updated 2 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• kovach / etch
  ☆17Updated 8 months ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆50Updated 3 months ago
• felipponn / monitoria-algebra-linear
  Repositório para a monitoria do curso de Álgebra Linear 2023.2 da EMAp.
  ☆10Updated last year
• FormalizedFormalLogic / Foundation
  Lean4 Logic Formalization
  ☆96Updated this week
• jjdishere / EG
  Formalizing Euclidean Geometry in Lean
  ☆29Updated 11 months ago
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆60Updated 7 months ago