daviromero / anitaLinks
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
Sorting:
- Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style☆30Updated last year
- Scripts para capturar dados do Repositório de Dados Eleitorais do TSE, limpá-los, normalizá-los e agrupá-los☆153Updated 2 months ago
- 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☆169Updated 2 years ago
- Exemplo prático de uma loja virtual simples implementada usando uma arquitetura Publish/Subscribe.☆65Updated last month
- Repository with tips to find foreign remote jobs for Brazilians.☆144Updated 4 years ago
- Curated lists related to Brazilian Computer Science research and researchers☆70Updated 3 weeks ago
- Reunião de anotações sobre conteúdos aprendidos por mim.☆22Updated 4 years ago
- ☆82Updated 2 years ago
- O VEÍCULO COLABORATIVO SOBRE TRANSPARÊNCIA E OPEN DATA NO BRASIL.☆4Updated last year
- 📏Modelo C4 para documentação de arquiteturas☆112Updated 2 months ago
- UI Framework focado em acessibilidade para idosos☆8Updated last year
- Extensão do Chrome que substitui "Bolsonaro" e "Bolsomito" por apelidos carinhosos da internet☆254Updated last year
- Agregador de vagas para pessoas desenvolvedoras :)☆214Updated 2 years ago
- Front-end☆144Updated 2 years ago
- 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
- Este repositório é colaborativo e tem como objetivo reunir dicas legais de desenvolvimento.☆63Updated 3 years ago
- Repositório para cadastro de pessoas que estão em busca de um emprego na área de TI.☆181Updated 5 months ago
- Lista com vários tutoriais para desenvolvedores.☆264Updated 5 months 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
- Único roadmap de Haskell possível, do noob ao Thanos☆243Updated last year
- Lista de eventos, meetups, encontros e qualquer tipo de aglomeração de backend.☆88Updated 5 months ago
- A CLI package to change names in github repositories files☆78Updated 2 years ago
- Espaço para divulgação de vagas para desenvolvedores em Feira de Santana e Região.☆131Updated last year
- Repositório para armazenar todas as anotações de cursos feitos☆106Updated 3 years ago
- Desafios de contratação. Vem fazer parte do nosso time!☆111Updated 7 months ago
- Aquele repo para você se tornar um alquimista também ;)☆234Updated 2 years ago
- Este é um repositório com listas de projetos em Go colaborativa, para que outras pessoas possam usar como base de aprendizado e compartil…☆28Updated 2 years ago
- Um repositório para reunir dicas de como buscar problemas no google de maneira mais eficiente☆62Updated 4 years ago
- Práticas de Ciência de Dados☆38Updated 4 years ago