Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
@haztecaso
haztecaso
Follow

Adrián Lattes haztecaso

🚴
Graduated in maths, Interested in geometry, logic and formal methods. I'm also a self-taught web developer. I love free software and use nixos on my machines

Block or report haztecaso

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 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

Pinned Loading

  1. python-template python-template Public

    My template for python projects

    Python

  2. neovim-flake neovim-flake Public

    Custom neovim configs

    Nix 1

  3. euclidean-geometry-lean euclidean-geometry-lean Public

    Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.

    TeX

  4. spanish-nif spanish-nif Public

    Lightweight Pydantic-compatible validators for Spanish NIF, DNI, and NIE identifiers, with strict control letter logic and ready-to-use string subclasses.

    Python 1

  5. bwmenu bwmenu Public

    bitwarden-cli rofi wrapper written in python and with qutebrowser userscripts support

    Python 13 2

AltStyle によって変換されたページ (->オリジナル) /