Grupo-de-Estudos-em-Logica-da-UFRN / Para-Todxs-Natal
Projeto colaborativo de tradução e adaptação do livro de lógica Forallx
☆13Updated 4 months ago
Related projects: ⓘ
- Coleção do Ensino Médio - Livro Aberto de Matemática☆11Updated last year
- Soluções para os livros de Análise Real do Professor Elon Lages Lima.☆47Updated 4 years ago
- Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)☆94Updated 2 months ago
- Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.☆62Updated 10 months ago
- Estilo para BibLaTeX compatível com as normas da ABNT☆126Updated 2 months ago
- Material para Matemática Discreta☆9Updated 8 years ago
- Anki's manual☆10Updated 2 years ago
- NotasPedroK - Site de notas de aula☆26Updated this week
- Repositório principal do projeto MatrUSP☆117Updated last year
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆17Updated 4 years ago
- Escrita colaborativa de recursos educacionais abertos sobre cálculo numérico.☆136Updated last month
- Divulgação Científica - Essa é apenas uma lista PT-BR, o conteúdo dos podcasts/canais é de inteira responsabilidade dos autores☆34Updated 4 years ago
- Curated lists related to Brazilian Computer Science research and researchers☆68Updated 2 weeks ago
- Escrita colaborativa de recursos educacionais abertos sobre transformadas integrais.☆15Updated 11 months ago
- Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.☆33Updated last month
- A curated list of functional programming resources to study the fp paradigm☆173Updated last month
- Biblioteca virtual do CALICO☆49Updated 6 years ago
- Modelos de documentos em LaTeX para docentes e discentes. Modelo de prova, lista de exercício, apresentação, nota de aula, relatórios e T…☆61Updated 7 months ago
- Material de Otimização/Programação Não Linear em Julia☆24Updated 3 years ago
- Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.☆24Updated 3 years ago
- Modal Logic Library in Coq☆14Updated 2 years ago
- 😷 Dowload dos documentos da CPI da Pandemia☆99Updated 3 years ago
- ☆13Updated 7 months ago
- ☆77Updated last week
- Materiais didáticos utilizados nos cursos do Bacharelado em Ciência da Computação da UFABC☆44Updated 3 years ago
- ☆20Updated last month
- Disciplina de Compiladores (INF01147) - INF/UFRGS☆37Updated 6 months ago
- Site abntex.net.br☆38Updated 2 years ago
- Tradução para o português do livro Functional Light JS☆58Updated 2 years ago
- 📆 Ferramenta para gerar arquivo de calendário (.ics) a partir da grade de aulas (.json).☆14Updated 4 months ago
- A run-codes cli front end with some extra features☆12Updated last year