emap-20242-ed / fadLinks
lean code
☆10Updated 5 months ago
Alternatives and similar repositories for fad
Users that are interested in fad are comparing it to the libraries listed below
Sorting:
- Repositório de resumos do curso de Matemática Aplicada da FGV-EMAP☆32Updated 2 years ago
- Repositório para disponibilizar o material feito pelos monitores da disciplina de Álgebra Linear da EMAp.☆28Updated 3 years ago
- Course materials for Statistical Inference ("Inferência Estatística")☆59Updated last year
- Advanced course on Reinforcement Learning.☆30Updated 6 months ago
- 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
- 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
- ☆14Updated 2 years ago
- This repository includes codes related with the FGV EMAp lectures which I worked as teacher assitant.☆12Updated last year
- Resources for Statistical Modelling ("Modelagem Estatística").☆66Updated 2 weeks ago
- Repositório do Curso de Modelagem Matemática IV - Modelagem de Sistemas Biológicos☆22Updated last year
- ☆13Updated last year
- Course materials for [Statistical Inference](https://emap.fgv.br/disciplina/inferencia-estatistica)☆20Updated 8 months ago
- Template for blueprint-driven formalization projects in Lean.☆54Updated this week
- Material for the discipline "Database Modeling and Use"☆29Updated 3 years ago
- A Lean4 Formalization of Polynomial Functors☆21Updated last month
- Criando um jogo de naves espaciais com Pygame. Para iniciantes em Python☆44Updated 2 years ago
- Material de apoio ao curso de Estrutura de Dados da EMAp-FGV☆29Updated this week
- Course materials for Computational Statistics, PhD course at EMAp.☆35Updated 3 weeks ago
- ☆10Updated 2 years ago
- Integrating diagramming and data visualization☆57Updated 3 weeks ago
- Experimental port of ADEV to Julia☆11Updated last year
- ☆37Updated last month
- A WIP definitional (co)datatype package for Lean4☆36Updated 5 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆78Updated this week
- Introdução à Recuperação de Informações☆16Updated 2 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Updated last year
- Helper toolkit for creating your own Lean 4 UserWidgets☆141Updated this week
- Relational Algebra, now with more algebra!☆54Updated this week
- Easy Bayesian models.☆9Updated 4 years ago
- tool for turning Lean proofs into Blender animations☆69Updated last month