Skip to content
View JJoaoll's full-sized avatar
18 followers · 26 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Highlights

  • Pro

Block or report JJoaoll

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
JJoaoll/README.md
  • 👋 Hi, I’m : @JJoaoll
  • 👀 I’m interested in : functional programming
  • 🌱 I’m currently learning : functional programming
  • 💞️ I’m looking to collaborate on : functional programming
  • 📫 How to reach me : joao.pereira.016@ufrn.edu.br
  • 😄 Pronouns : λ / Λ
  • ⚡ Fun fact : (λx. x x) (λx. x x) can be useful

Pinned Loading

  1. lean4-studies lean4-studies Public

    Lean 1

  2. blex blex Public

    Um projeto para fins de estudo pessoal que visa tentar implementar um lexer da forma menos inteligente possível. Fora a descrição, estará tudo em inglês.

    Lean

  3. 2024.2-fun-JJoaoll 2024.2-fun-JJoaoll Public

    Haskell

  4. HannahSantos/FMCn_Lean HannahSantos/FMCn_Lean Public

    Repositório destinado às práticas de Lean4 da Monitoria de FMCn.

    Lean 2 2

  5. nixos-desktop nixos-desktop Public

    Nix

  6. chess_engine_in_Java chess_engine_in_Java Public

    Chess Engine in Java

    Java