daviromero / anita
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
☆18Updated last year
Alternatives and similar repositories for anita:
Users that are interested in anita are comparing it to the libraries listed below
- Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style☆30Updated last year
- Curso de Introdução a Programação online ao vivo no YouTube☆46Updated 4 years ago
- Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.☆123Updated 3 weeks ago
- Repositório para armazenar todas as anotações de cursos feitos☆106Updated 3 years ago
- 📏Modelo C4 para documentação de arquiteturas☆111Updated 2 weeks ago
- ☆43Updated 5 years ago
- Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners☆254Updated 10 months ago
- Desafios de contratação. Vem fazer parte do nosso time!☆110Updated 5 months ago
- Site com todos os status HTTP e seus significados☆165Updated 2 years ago
- ☆13Updated this week
- Desafio em ReactJS para membros iniciantes da comunidade de front-end possam desenvolver uma aplicação que vai testar seus conhecimentos …☆1Updated 2 years ago
- Aquele repo para você se tornar um alquimista também ;)☆234Updated 2 years 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.☆244Updated 2 years ago
- Reunião de anotações sobre conteúdos aprendidos por mim.☆22Updated 4 years ago
- Bot para enviar lembretes no Telegram para escalação do seu time no fantasy game Cartola☆61Updated 2 years ago
- Neste repositório você encontrará link para download de algumas de minhas obras☆78Updated 3 years ago
- Plataforma multilateral que conecta alunos que desejam contratar professores para que ministrem aulas particulares nas mais variadas disc…☆41Updated 3 years ago
- Feito pela comunidade, para a comunidade #DEV☆105Updated 3 years ago
- Collection of JavaScript books in Portuguese☆66Updated 8 years ago
- 📦 Terminal track Correios☆238Updated last year
- Um livro breve para conceitos avançados utilizando typescript☆138Updated last month
- Matemática Elementar para Computação☆40Updated last year
- Iniciativa open source social que visa espalhar programação para escolas públicas, ONGs, CEUs e qualquer lugar onde pudermos chegar.☆181Updated 3 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Updated last year
- Exemplo prático de uma loja virtual simples implementada usando uma arquitetura Publish/Subscribe.☆63Updated 2 years ago
- Simple NodeJS API without express, for learning purposes☆55Updated 2 years ago
- Conteúdo para estudo de Ciência da Computação. Melhorias e dicas são bem-vindas 🆙☆146Updated 8 months ago
- Exemplos de código do treinamento☆155Updated 4 years ago
- React app that adds users to our repository☆95Updated 2 years ago
- Dynamically generated stats for your github readmes☆175Updated 4 years ago