lemunozm

View JSON Representation

Passionate about functional programming and dependent types. Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4

• Name: Luis Enrique Muñoz Martín
• Location: Madrid
• Company: centrifuge.io
• Kind: user
• Followers: 102
• Following: 16
• Total stars: 2060
• Repositories count: 32
• Created at: 2022-11-18T11:02:18.806Z
• Updated at: 2025-03-29T02:34:54.893Z
• Last synced at: 2025-03-29T02:34:54.893Z

Past Sponsorships

View All

Sponsorship Breakdown by Kind

• User: 1