Alternatives and similar repositories for anita

Users that are interested in anita are comparing it to the libraries listed below

• daviromero / nadia
  Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
  ☆30Updated last year
• eminetto / api-o11y
  Repository used in a talk about APIs and Observability
  ☆71Updated last year
• cassiobotaro / modeloC4
  📏Modelo C4 para documentação de arquiteturas
  ☆112Updated last month
• nigellima / br-dev-remoto
  Repository with tips to find foreign remote jobs for Brazilians.
  ☆144Updated 4 years ago
• JessicaNathany / design-patterns
  Projeto para estudos de patterns
  ☆40Updated 2 years ago
• eletroswing / bacen-simulator
  BacenSimulator is a docker image to simulate bacen, a official brazilian payment infrastructure
  ☆99Updated last year
• aserg-ufmg / micro-livraria
  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
• codeedu / maratona-desafios
  ☆48Updated 5 years ago
• woovibr / awesome-woovi-challenge
  Awesome Woovi Challenges
  ☆128Updated last month
• ciceromsjr / myfinancesplugin
  Plugin for My Finances Official app
  ☆94Updated last year
• nathsouzadev / whats4social
  Service to create post on Twitter and Bluesky via Whatsapp
  ☆72Updated 7 months ago
• lucasmontano / youtube-br-desenvolvimento
  Repositório de canais no Youtube BR sobre desenvolvimento
  ☆87Updated 5 years ago
• ErickWendel / neo4j-ai-experiments
  Examples of my tutorial on how to use Neo4j for empowering AI RAG systems
  ☆55Updated 3 months ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆243Updated last year
• filhodanuvem / backend-challenges
  A public list of open-source challenges from jobs around the world
  ☆50Updated last year
• woliveiras / introducao-a-programacao
  Curso de Introdução a Programação online ao vivo no YouTube
  ☆46Updated 4 years ago
• tiaguinho / httpstatus
  Site com todos os status HTTP e seus significados
  ☆169Updated 2 years ago
• devmozao / desafio-reactjs
  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
• laisfrigerio / ja-escalou-seu-time-no-cartola-hoje
  Bot para enviar lembretes no Telegram para escalação do seu time no fantasy game Cartola
  ☆61Updated 2 years ago
• danielhe4rt / awesome-gringa-challenges
  Just a simple repo with job challenges from EU/US companies. Solve it if you can :p
  ☆45Updated last year
• codeedu / codeedu-plataforma-desafios
  ☆77Updated 4 years ago
• iaurg / Computer-Science-Study
  Conteúdo para estudo de Ciência da Computação. Melhorias e dicas são bem-vindas 🆙
  ☆147Updated 9 months ago
• mauricioabreu / dicas-para-processo-seletivo
  Dicas de como desenvolver os desafios técnicos e preparação para a entrevista
  ☆34Updated 2 years ago
• appcumbuca / desafios
  Desafios de contratação. Vem fazer parte do nosso time!
  ☆111Updated 7 months ago
• theWiseDev / thewisedev-teaser
  React app that adds users to our repository
  ☆95Updated 2 years ago
• aripiprazole / rinha
  🧪 | Rinha de Backend Lean4
  ☆64Updated last year
• israNascimento / devs-putos
  ☆82Updated 2 years ago
• IFRN / suapi
  Clientes para acesso à API do SUAP
  ☆22Updated 6 years ago
• ezefranca / campeonato-brasileiro-api
  API simples do Campeonato Brasileiro
  ☆94Updated 3 years ago
• YuriSamp / Algorithms
  Alguns algoritmos que todo mundo deve aprender
  ☆35Updated last year