bernborgess · GitHub
Skip to content
View bernborgess's full-sized avatar
38 followers · 141 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Quickdraw

Block or report bernborgess

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
bernborgess/README.md

Popular repositories Loading

  1. tpf-bandeco tpf-bandeco Public

    C++ 3 1

  2. lean-cutting-planes lean-cutting-planes Public

    Cutting Planes formal logic modelled in Lean 4 for verified reasoning.

    Lean 2

  3. 2020-2-exercicio-revisao-refatoracao 2020-2-exercicio-revisao-refatoracao Public archive

    Forked from pds2-dcc-ufmg/2020-2-exercicio-revisao-refatoracao

    C++ 1

  4. bernborgess bernborgess Public

    HTML 1

  5. css-demos css-demos Public

    Learning most CSS features! And goofy!

    HTML 1

  6. micro-livraria micro-livraria Public archive

    Forked from 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.

    JavaScript 1