Skip to content
View valdigleis's full-sized avatar
7 followers · 15 following

Sponsoring

@nicm
@zwpaper
@neovim

Achievements

Achievement: Public Sponsor

Achievements

Achievement: Public Sponsor

Block or report valdigleis

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
valdigleis/README.md

Hello, humans 👋

I'm Valdigleis, a Peanuts fan, former software engineer. Currently, I'm a computer science teacher at CCICOMP of the Univasf - Brazil.

  • ✏️ C / C++ / (La)TeX / OCaml / Haskell / Java(Type)Script / Java / Python / HTML / CSS / PHP / Prolog / Coq / Lean

  • 📦 Pop!_OS / NeoVim / Firefox / Kitty / ZShell

  • 🌱 Teaching (in 2025): Wait....

  • 🔭 Researching Non-classical Automata Theory

Pinned Loading

  1. kitty kitty Public

    My configure to Kitty terminal

  2. nvim nvim Public

    My personal config to NeoVim Editor.

    Lua

  3. vTeX vTeX Public

    Repositório para meus templates pessoais LaTeX.

    TeX

  4. mcf mcf Public

    Repositório para meu "manuscrito" sobre Matemática e Computação Formal

    TeX 3 1