daviromero / anita
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
☆19Updated last year
Related projects ⓘ
Alternatives and complementary repositories for anita
- Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style☆29Updated 11 months ago
- 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
- Curso de Introdução a Programação online ao vivo no YouTube☆46Updated 4 years ago
- Site com todos os status HTTP e seus significados☆155Updated 2 years ago
- Conteúdo para estudo de Ciência da Computação. Melhorias e dicas são bem-vindas 🆙☆143Updated 3 months ago
- Um livro breve para conceitos avançados utilizando typescript☆138Updated last year
- API that generates information about coronavirus (COVID19) cases in the states of Brazil and other parts of the world☆169Updated 4 years 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
- Neste repositório você encontrará link para download de algumas de minhas obras☆73Updated 3 years ago
- BacenSimulator is a docker image to simulate bacen, a official brazilian payment infrastructure☆95Updated 6 months ago
- Repositório para cadastro de pessoas que estão em busca de um emprego na área de TI.☆170Updated 10 months ago
- Cv Keep front end official repository☆98Updated 4 months ago
- Guia básico sobre a LGPD (Lei Geral de Proteção de Dados). Lei 13.709/2018 que entrou em vigor no Brasil dia 18/09/2020.☆245Updated last year
- Backend da plataforma BR.DEV. BR.DEV será uma rede social para Devs e Divas, onde será fácil ensinar e aprender sobre Tecnologia da Infor…☆81Updated 3 years ago
- 📏Modelo C4 para documentação de arquiteturas☆107Updated 7 months ago
- Desafios de contratação. Vem fazer parte do nosso time!☆103Updated 2 weeks ago
- Aula Prática de TDD☆9Updated 4 years ago
- ☆41Updated 5 months ago
- Quer aprender ReScript? Comece aqui☆243Updated 2 years ago
- ☆82Updated last year
- A CLI package to change names in github repositories files☆79Updated 2 years ago
- Exemplo prático de uma loja virtual simples implementada usando uma arquitetura Publish/Subscribe.☆61Updated last year
- Comunidades.tech é um espaço de visibilidade e fortalecimento das comunidades de tecnologia☆98Updated 3 weeks ago
- 📦 Terminal track Correios☆239Updated last year
- Teu computador é uma carroça? Não tem problema, vamos torná-lo utilizável☆117Updated 9 months ago
- Um repositório para reunir dicas de como buscar problemas no google de maneira mais eficiente☆62Updated 4 years ago
- ☆72Updated last month
- Curated lists related to Brazilian Computer Science research and researchers☆70Updated 2 months ago
- Aula prática sobre servidores de Integração Contínua☆23Updated 4 months ago