daviromero / nadia
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
☆29Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for nadia
- Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux☆19Updated last year
- Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.☆119Updated last year
- Repositório criado com o intuito de centralizar as tretas semanais que acontecem na cena dev BR☆506Updated 2 years ago
- Repository with tips to find foreign remote jobs for Brazilians.☆145Updated 3 years ago
- ☆379Updated 2 weeks ago
- ☆102Updated last month
- Tech Magic Cube - Divulgação de Vagas☆164Updated last year
- ☆26Updated this week
- Aprenda a linguagem Assembly do zero!☆124Updated last year
- Devopness - Essential DevOps: to everyone☆112Updated this week
- Ter um concatenado de conteúdos pra quem quer começar com JavaScript☆168Updated 3 years ago
- ☆301Updated last year
- Uma lista com programas de estágio em TI☆90Updated last year
- Um Clube do Livro pra Devs☆336Updated 10 months ago
- Desafio em ReactJS para membros iniciantes da comunidade de front-end possam desenvolver uma aplicação que vai testar seus conhecimentos …☆2Updated last year
- Quer aprender ReScript? Comece aqui☆243Updated 2 years ago
- ☆247Updated 3 years ago
- Repo para aprender NodeJS!☆481Updated last month
- Repositório contendo materiais de estudo de CSS avançado☆275Updated last year
- Teu computador é uma carroça? Não tem problema, vamos torná-lo utilizável☆117Updated 9 months ago
- Espaço para divulgação de projetos open-source brasileiros.☆592Updated 2 months ago
- ☆376Updated last year
- Tutorial de C para iniciantes☆256Updated last month
- Curso de Compiladores☆63Updated 2 years ago
- Guia básico de CSS para inciantes. Deixa a estrelinha ai tamo junto.☆457Updated 6 months ago
- ☆293Updated 3 years ago
- Tutorial de OCaml para iniciantes na Linguagem.☆388Updated last year
- 🌐 Nosso website para apresentar nosso projeto de forma simples e intuitiva, sendo totalmente open-source e mantido por nossos membros☆103Updated last month