daviromero / anitaLinks
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
☆21Updated 2 years ago
Alternatives and similar repositories for anita
Users that are interested in anita are comparing it to the libraries listed below
Sorting:
- Exemplo prático de uma pequena livraria virtual implementada usando microsserviços. Inclui também duas tarefas práticas para os alunos.☆134Updated 9 months ago
- Aquele repo para você se tornar um alquimista também ;)☆228Updated 3 years ago
- Service to create post on Twitter and Bluesky via Whatsapp☆71Updated last year
- Aprenda Elixir em 4 Pull Requests!☆320Updated 2 years ago
- Único roadmap de Haskell possível, do noob ao Thanos☆239Updated 2 years ago
- Tutorial de OCaml para iniciantes na Linguagem.☆389Updated 2 years ago
- Coloque aqui links de projetos com funcionalidades que envolvam o BlueSky! 🦋💙☆103Updated 5 months 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
- Tutorial de C para iniciantes☆259Updated last year
- Lista de palavras em Português☆294Updated 5 months ago
- Curso de Introdução a Programação online ao vivo no YouTube☆46Updated 5 years ago
- Birolipsum é um gerador de Lorem Ipsum com citações do (felizmente)ex-(infelizmente)presidente do Brasil, Jair Bolsonaro (ou Biroliro par…☆78Updated 2 years ago
- Yet Another Daniel Weird idea to Mentor people.☆19Updated last year
- Feito pela comunidade, para a comunidade #DEV☆104Updated 4 years ago
- Oportunidades para Pessoas Desenvolvedoras☆343Updated 2 years ago
- Remova todas enquetes do feed do LinkedIn☆95Updated 4 years ago
- Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners☆267Updated 3 months ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!☆174Updated last year
- Um guia/tutorial/cheat-sheet que irá ajudar você começar a estudar e melhorar seus conhecimentos em golang.☆140Updated 2 years ago
- ☆291Updated 4 years ago
- Linguagem de programação em português, simples e moderna☆846Updated last month
- Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style☆30Updated 2 years ago
- Espaço para divulgação de vagas para desenvolvedores em Feira de Santana e Região.☆132Updated 2 years ago
- O temcrase é uma ferramenta simples que verifica a frase que você digitou e responde se tem crase ou não.☆91Updated 2 years ago
- 📏Modelo C4 para documentação de arquiteturas☆112Updated 9 months ago
- Tutorial Vue 2~3 in Brazilian Portuguese☆238Updated 3 weeks ago
- ☆27Updated 4 years ago
- API com dados atualizados sobre o status do COVID-19 🦠☆296Updated 2 years ago
- Repo para aprender NodeJS!☆485Updated last year