Alternatives and similar repositories for fad

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

• fccoelho / Reinforcement-Learning-course
  Advanced course on Reinforcement Learning.
  ☆30Updated 6 months ago
• torresmateo / fgv-class-2022
  ☆14Updated 2 years ago
• matwerner / fgv-ed
  Material de apoio ao curso de Estrutura de Dados da EMAp-FGV
  ☆29Updated this week
• sinhp / Poly
  A Lean4 Formalization of Polynomial Functors
  ☆21Updated 3 weeks ago
• 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
• 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
• 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
• fccoelho / Modelagem-Matematica-IV
  Repositório do Curso de Modelagem Matemática IV - Modelagem de Sistemas Biológicos
  ☆22Updated last year
• maxbiostat / Statistical_Inference_MSc
  Course materials for [Statistical Inference](https://emap.fgv.br/disciplina/inferencia-estatistica)
  ☆20Updated 7 months ago
• leanprover-community / ProofWidgets4
  Helper toolkit for creating your own Lean 4 UserWidgets
  ☆135Updated 2 weeks ago
• maxbiostat / Computational_Statistics
  Course materials for Computational Statistics, PhD course at EMAp.
  ☆35Updated this week
• lucasmoschen / ta-sessions
  This repository includes codes related with the FGV EMAp lectures which I worked as teacher assitant.
  ☆12Updated last year
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆36Updated 5 months ago
• rsouza / NeuralNetworks_Course
  ☆37Updated last week
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆50Updated last week
• lrsantos11 / Tutorial-Julia-Opt
  ☆13Updated last year
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆214Updated last week
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆58Updated this week
• Timeroot / ComputableReal
  computable implementation of real numbers in Lean4
  ☆34Updated last month
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆24Updated 3 years ago
• rsouza / Databases_Course
  Material for the discipline "Database Modeling and Use"
  ☆29Updated 3 years ago
• FormalizedFormalLogic / Foundation
  Formalization of Mathematical Logic
  ☆116Updated this week
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆40Updated last week
• Caioflp / monitoria-algebra-linear
  Repositório para disponibilizar o material feito pelos monitores da disciplina de Álgebra Linear da EMAp.
  ☆29Updated 3 years ago
• dwrensha / Chess.lean
  Chess in Lean 4
  ☆16Updated 4 months ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆91Updated last week
• hhu-adam / Robo
  A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪
  ☆21Updated last week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆62Updated last week
• fccoelho / curso-IRI
  Introdução à Recuperação de Informações
  ☆16Updated 2 years ago