Skip to content
View DisistiNao's full-sized avatar
14 followers · 41 following
  • Ufop
  • Ouro Preto, MG
  • 17:59 (UTC -03:00)

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Block or report DisistiNao

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. 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
DisistiNao/README.md

Hi, I'm Gabriel Araújo Saldanha 👋

Software Engineer

📍 Ouro Preto, Minas Gerais, Brazil

🎓 Education

  • B.Sc. in Computer Science — Universidade Federal de Ouro Preto (UFOP)
  • Computer Network Technician — Centro Federal de Educação Tecnológica de Minas Gerais (CEFET-MG)

🛠 Main Languages

Haskell • Lean 4 • C • Java

🔬 Areas of Interest

Compilers • Programming Languages • Theorem Proving • Functional Programming • Program Optimization • Blockchain

📫 Contact

Pinned Loading

  1. DisistiNao DisistiNao Public

    1

  2. HoareCost HoareCost Public

    Haskell

  3. Algoritmos_Metaheuristicas Algoritmos_Metaheuristicas Public

    Haskell

  4. Memetic_Algorithm_for_Clang_compiler Memetic_Algorithm_for_Clang_compiler Public

    C++

  5. Advent_of_code_2025 Advent_of_code_2025 Public

    Haskell

  6. Knapsack_Problem Knapsack_Problem Public

    C