Alternatives and similar repositories for nadia:

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

• daviromero / anita
  Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
  ☆18Updated last year
• woovibr / awesome-woovi-challenge
  Awesome Woovi Challenges
  ☆125Updated 6 months ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆243Updated last year
• Camilotk / exercicios-algoritmos
  📖 Exercicios de Algoritmos da UBL
  ☆34Updated 3 years ago
• andreluispy / assembly4noobs
  Aprenda a linguagem Assembly do zero!
  ☆153Updated last year
• Universidade-Livre / rinha-de-algoritmos
  Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!
  ☆165Updated last year
• jpaulohe4rt / c4noobs
  Tutorial de C para iniciantes
  ☆258Updated 6 months ago
• EduardoRFS / anti-study-study-group
  ☆20Updated last year
• danielhe4rt / backend4noobs
  Um guia básico para você adentrar ao mundo do desenvolvimento web!
  ☆121Updated 3 years ago
• bolodissenoura / guia-da-primeira-vaga
  ☆45Updated 2 years ago
• Universidade-Livre / traduz-ai
  Coleção de artigos de desenvolvimento de software traduzidos para pt-br
  ☆117Updated 3 years ago
• he4rt / docs
  Documentação sobre como funciona o ecossistema da He4rt Developers.
  ☆249Updated last year
• lanjoni / lpi4noobs
  Guia completo para preparação da certificação LPI Essentials (LPI LE-1)! 🐧
  ☆155Updated last year
• woovibr / jobs
  Woovi Tech Jobs
  ☆79Updated 2 weeks ago
• lanjoni / crystal4noobs
  Tutorial para iniciantes em Crystal! 💎
  ☆110Updated 2 years ago
• paulorievrs / mysql4noobs
  Repositório para iniciantes no MYSQL
  ☆143Updated last year
• Edclydson / Spring4noobs
  Conheça o Spring framework e os demais projetos do ecossistema. Aprenda a criar um projeto Spring na prática.
  ☆113Updated last year
• NiumXp / regex4noobs
  Aprender RegExp pode ser difícil, mas aqui não é! Pode ter certeza!
  ☆50Updated 2 years ago
• Luisnadachi / SQL4Noobs
  ☆120Updated 2 years ago
• he4rt / heartlabs-challenges
  ☆294Updated 4 years ago
• DantasB / CSharp4Noobs
  Tutorial de C# para iniciantes
  ☆141Updated 2 years ago
• danielhe4rt / livecoding4noobs
  ☆140Updated 2 years ago
• HenriqueBros / Arduino4noobs
  Tutorial de Arduino para iniciantes
  ☆80Updated 2 years ago
• GabiGOLANG / gabigolang-typescript
  Looogann_ : Gabigolang uma linguagem de programação muito simples e fácil de usar. Além disso, ele se destaca onde muitas das linguagens …
  ☆115Updated 5 years ago
• lucascbittencourt / linux4noobs
  Tutorial De Linux para iniciantes em Programação.
  ☆404Updated 2 years ago
• vcwild / qa4noobs
  Introduction to Quality Engineering made for the 4noobs collection.
  ☆114Updated last year
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆43Updated 8 months ago
• Pantotone / poc-CousinEar
  A proof-of-concept of a Discord bot able to connect into a voice channel, strip down each voice data, and run through a speech-to-text co…
  ☆62Updated last year
• PIGDevUff / PigDev
  ☆144Updated 2 years ago
• Carolis / typescript4noobs
  Typescript para iniciantes
  ☆268Updated 11 months ago