Repositories list

• Oberon-Scala

  Public
  C++

  •3•0•0•0•Updated Jul 21, 2023Jul 21, 2023

• caderno-de-curso-marcos-alexandre

  Public
  caderno-de-curso-marcos-alexandre created by GitHub Classroom

  Coq

  •0•0•0•0•Updated Jul 16, 2023Jul 16, 2023

• bst_amag_paa_2023_1

  Public
  BST

  Coq

  •0•0•0•0•Updated Jul 11, 2023Jul 11, 2023

• atividades-paa_2023_exploradores_de_hipoteses

  Public
  atividades-paa_2023_exploradores_de_hipoteses created by GitHub Classroom

  HTML

  •0•0•0•0•Updated Jun 13, 2023Jun 13, 2023

• Oberon-Scala-1

  Public
  Projeto oberon de tp2

  C++

  •3•0•0•0•Updated May 22, 2023May 22, 2023

• devaplicativos-flutter

  Public
  Dart

  •1•0•0•0•Updated Dec 7, 2022Dec 7, 2022

• lc1-2022-1-projeto-lc1-2022-1-projeto-cr-da-os

  Public
  lc1-2022-1-projeto-lc1-2022-1-projeto-cr-da-os created by GitHub Classroom

  Coq

  •0•0•0•0•Updated Sep 11, 2022Sep 11, 2022

• fundamentos-de-git-e-github-HSTutida

  Public
  fundamentos-de-git-e-github-HSTutida created by GitHub Classroom

  0•0•0•0•Updated Sep 2, 2022Sep 2, 2022

• fundamentos-de-git-e-github-guioliunb

  Public
  fundamentos-de-git-e-github-guioliunb created by GitHub Classroom

  0•0•0•0•Updated Sep 2, 2022Sep 2, 2022

• fundamentos-de-git-e-github-zfortes

  Public
  fundamentos-de-git-e-github-zfortes created by GitHub Classroom

  0•0•0•0•Updated Sep 1, 2022Sep 1, 2022

• fundamentos-de-git-e-github-Felipedbbsb

  Public
  fundamentos-de-git-e-github-Felipedbbsb created by GitHub Classroom

  0•0•0•0•Updated Sep 1, 2022Sep 1, 2022

• fundamentos-de-git-e-github-DanilloAlmeida

  Public
  fundamentos-de-git-e-github-DanilloAlmeida created by GitHub Classroom

  0•0•0•0•Updated Aug 14, 2022Aug 14, 2022

• fundamentos-de-git-e-github-mauro-fernandes

  Public
  fundamentos-de-git-e-github-mauro-fernandes created by GitHub Classroom

  0•1•0•0•Updated Aug 8, 2022Aug 8, 2022

• fundamentos-de-git-e-github-geovanicv

  Public
  fundamentos-de-git-e-github-geovanicv created by GitHub Classroom

  0•0•0•0•Updated Jul 19, 2022Jul 19, 2022

• 2022-1-mergesort

  Public
  Formalização do algoritmo mergesort (correção e complexidade)

  Coq

  •0•0•0•0•Updated Jul 8, 2022Jul 8, 2022

• fundamentos-de-git-e-github-hackermannjon

  Public
  fundamentos-de-git-e-github-hackermannjon created by GitHub Classroom

  0•0•0•0•Updated Jun 30, 2022Jun 30, 2022

• lc1-2021-2-inicial

  Public template
  Coq

  •2•1•0•0•Updated Apr 11, 2022Apr 11, 2022

• paa-2021-2-inicial

  Public template
  TeX

  •4•2•0•0•Updated Apr 1, 2022Apr 1, 2022

• conway_game_of_clusters

  Public
  Python

  •1•0•0•0•Updated Mar 7, 2022Mar 7, 2022

• UnB-Linguagens-de-Programa-o-Haskell-2021-2

  Public
  Haskell

  •2•0•0•0•Updated Feb 9, 2022Feb 9, 2022

• belarusian-tts

  Public
  Text-to-Speech for Belarusian language

  Python

  •

  MIT License

  •2•0•0•0•Updated Nov 27, 2021Nov 27, 2021

• projeto-permequiv-trio

  Public
  projeto-permequiv-trio created by GitHub Classroom

  Coq

  •0•0•0•0•Updated Oct 17, 2021Oct 17, 2021

• correcao-insertionsort

  Public template
  Coq

  •0•0•0•0•Updated Aug 13, 2021Aug 13, 2021

• PermEquiv

  Public template
  Coq

  •3•0•0•0•Updated Aug 11, 2021Aug 11, 2021

• correcao-mergesort

  Public template
  Coq

  •0•0•0•0•Updated Aug 11, 2021Aug 11, 2021

• JoaoOberao

  Public
  Scala

  •1•0•0•0•Updated Apr 22, 2021Apr 22, 2021