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
• 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
• ianitow / bolsas-de-estudos-internacionais-para-universitarios
  Repositório para estudantes brasileiros que estejam cursando o nível superior e que procuram bolsas de estudos / estágios internacionais …
  ☆35Updated 2 years ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆243Updated last year
• JudsonSS / Compiladores
  Curso de Compiladores
  ☆80Updated 2 years ago
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆105Updated last year
• terremoth / pc-carroca
  Teu computador é uma carroça? Não tem problema, vamos torná-lo utilizável
  ☆117Updated last year
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆100Updated last month
• chcandido / brModelo
  brModelo 3.2
  ☆354Updated last year
• Camilotk / ocaml4noobs
  Tutorial de OCaml para iniciantes na Linguagem.
  ☆392Updated last year
• edsomjr / Paradigmas
  ☆134Updated this week
• pedropaiola / unesp-progcomp
  Programação Competitiva - UNESP
  ☆28Updated last year
• maratona-linux / maratona-linux
  Checkout all Maratona-Linux components at once by using git submodule.
  ☆30Updated last year
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆42Updated 10 months ago
• github-education-resources / PR-Patches-Campus-Party
  PR-Patches-Campus-Party
  ☆24Updated 2 years ago
• ufabc-students-bcc / awesome-disciplinas
  material de estudo pra te salvar das provas satânicas - ou não.
  ☆77Updated last year
• andreluispy / assembly4noobs
  Aprenda a linguagem Assembly do zero!
  ☆163Updated 2 years ago
• has256 / sicp-ptbr
  Tradução do livro Structure and Interpretation of Computer Programs (SICP) - 2ª edição.
  ☆61Updated 5 years ago
• 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.
  ☆126Updated 2 months ago
• ufabc-bcc / MateriaisDidaticos
  Materiais didáticos utilizados nos cursos do Bacharelado em Ciência da Computação da UFABC
  ☆50Updated 4 years ago
• Universidade-Livre / traduz-ai
  Coleção de artigos de desenvolvimento de software traduzidos para pt-br
  ☆118Updated 3 years ago
• nigellima / br-dev-remoto
  Repository with tips to find foreign remote jobs for Brazilians.
  ☆144Updated 4 years ago
• VictorTaelin / taemoba
  ☆14Updated 8 months ago
• Lorenzobattistela / javascript-projects
  Javascript projects that i built for practice
  ☆8Updated 4 years ago
• woovibr / awesome-woovi-challenge
  Awesome Woovi Challenges
  ☆130Updated last month
• reamat / AlgebraLinear
  Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.
  ☆67Updated 5 months ago
• appcumbuca / desafios
  Desafios de contratação. Vem fazer parte do nosso time!
  ☆111Updated 7 months ago
• xTecna / solucoes-da-beecrowd
  Soluções da beecrowd em diversas linguagens diferentes com explicações teóricas e diversas abordagens.
  ☆150Updated 3 months ago
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆47Updated 3 years ago
• reamat / CalculoNumerico
  Escrita colaborativa de recursos educacionais abertos sobre cálculo numérico.
  ☆149Updated 5 months ago