daviromero / anitaLinks
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
☆20Updated 2 years ago
Alternatives and similar repositories for anita
Users that are interested in anita are comparing it to the libraries listed below
Sorting:
- Aprenda Elixir em 4 Pull Requests!☆318Updated last year
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆174Updated last year
- Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.☆130Updated 7 months ago
- Bot para enviar lembretes no Telegram para escalação do seu time no fantasy game Cartola☆60Updated 3 years ago
- Lista de palavras em Português☆290Updated 3 months ago
- Repositório com vagas para estágio em T.I☆42Updated 4 years ago
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated last year
- 📏Modelo C4 para documentação de arquiteturas☆112Updated 7 months ago
- Único roadmap de Haskell possível, do noob ao Thanos☆239Updated 2 years ago
- Repositório criado com o intuito de centralizar as tretas semanais que acontecem na cena dev BR☆501Updated 3 years ago
- Repository with tips to find foreign remote jobs for Brazilians.☆145Updated 4 years ago
- ☆116Updated last year
- Repositório com processos seletivos reais já realizados☆49Updated 2 years ago
- Soluções para os desafios (por usuário)☆156Updated 3 weeks ago
- Um guia/tutorial/cheat-sheet que irá ajudar você começar a estudar e melhorar seus conhecimentos em golang.☆139Updated 2 years ago
- A CLI package to change names in github repositories files☆78Updated 3 years ago
- API pública de busca e consulta de CNPJs do Brasil☆277Updated 3 weeks ago
- 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 4 years ago
- Bluesky-Repost-Bot☆40Updated 6 months ago
- Back-end side for the Yet Another Rhythm Game's website.☆19Updated last year
- Guias e boas práticas de programação para um melhor desenvolvimento de software☆334Updated 8 years ago
- Aquele repo para você se tornar um alquimista também ;)☆229Updated 3 years ago
- brModelo 3.2☆370Updated last year
- Tutorial de Arduino para iniciantes☆79Updated 2 years ago
- ☆29Updated last year
- Repositório destinado para disponibilizar conteúdo gratuito para os devs de Jequié e região☆24Updated last year
- Feito pela comunidade, para a comunidade #DEV☆104Updated 4 years ago
- Repositório oficial da Rinha de Front-end☆211Updated last year
- Curso de Introdução a Programação online ao vivo no YouTube☆46Updated 5 years ago
- Repositório da disciplina de Engenharia de Software voltada ao curso de Sistemas de Informação.☆127Updated 2 weeks ago