Luis Enrique Muñoz Enrique Muñoz Martín
@lemunozm
A background refresh was started because this profile was last fetched over a day ago.
- Country
- Spain
- Rank
- #142
- Profile
- View on GitHub
- Company
- centrifuge.io
- Location
- Madrid
- Blog/Website
- -
- lemunozm@gmail.com
- -
- Hireable
- Yes
- Public Repos
- 32
- Public Gists
- 0
- Account
- User
- Joined GitHub
- Nov 06, 2015 (9 years, 11 months ago)
- Last Updated
- Aug 26, 2025 18:06
Bio
Passionate about functional programming and dependent types. Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
Followers
108
Following
16
Contributions (last year)
976
Similar Developers
