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
- Repository used in a talk about APIs and Observability☆71Updated last year
- 📏Modelo C4 para documentação de arquiteturas☆112Updated last month
- Repository with tips to find foreign remote jobs for Brazilians.☆144Updated 4 years ago
- Projeto para estudos de patterns☆40Updated 2 years ago
- BacenSimulator is a docker image to simulate bacen, a official brazilian payment infrastructure☆99Updated last year
- Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.☆124Updated 2 months ago
- ☆48Updated 5 years ago
- Awesome Woovi Challenges☆128Updated last month
- Plugin for My Finances Official app☆94Updated last year
- Service to create post on Twitter and Bluesky via Whatsapp☆72Updated 7 months ago
- Repositório de canais no Youtube BR sobre desenvolvimento☆87Updated 5 years ago
- Examples of my tutorial on how to use Neo4j for empowering AI RAG systems☆55Updated 3 months ago
- Único roadmap de Haskell possível, do noob ao Thanos☆243Updated last year
- A public list of open-source challenges from jobs around the world☆50Updated 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☆169Updated 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
- Bot para enviar lembretes no Telegram para escalação do seu time no fantasy game Cartola☆61Updated 2 years ago
- Just a simple repo with job challenges from EU/US companies. Solve it if you can :p☆45Updated last year
- ☆77Updated 4 years ago
- Conteúdo para estudo de Ciência da Computação. Melhorias e dicas são bem-vindas 🆙☆147Updated 9 months ago
- Dicas de como desenvolver os desafios técnicos e preparação para a entrevista☆34Updated 2 years ago
- Desafios de contratação. Vem fazer parte do nosso time!☆111Updated 7 months ago
- React app that adds users to our repository☆95Updated 2 years ago
- 🧪 | Rinha de Backend Lean4☆64Updated last year
- ☆82Updated 2 years ago
- Clientes para acesso à API do SUAP☆22Updated 6 years ago
- API simples do Campeonato Brasileiro☆94Updated 3 years ago
- Alguns algoritmos que todo mundo deve aprender☆35Updated last year