Luis Enrique Muñoz Martín
Passionate about functional programming and dependent types. Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
Pull Requests
638
Code Reviews
3,158
Top Repositories
Activity Feed (latest 50)
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 8:23 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 8:23 PM
pushed to ref/rename-gas-batch-name in centrifuge/protocol-v3
Jul 3, 2025, 7:53 PM
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 7:52 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 7:52 PM
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 7:50 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 7:50 PM
commented on pull request centrifuge/protocol-v3#496
Jul 3, 2025, 2:29 PM
commented on pull request centrifuge/protocol-v3#496
Jul 3, 2025, 2:28 PM
commented on pull request centrifuge/protocol-v3#496
Jul 3, 2025, 2:27 PM
commented on pull request centrifuge/protocol-v3#496
Jul 3, 2025, 2:26 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 2:29 PM
pushed to ref/rename-gas-batch-name in centrifuge/protocol-v3
Jul 3, 2025, 2:18 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 2:17 PM
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 2:17 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 2:13 PM
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 2:13 PM
pushed to ref/rename-gas-batch-name in centrifuge/protocol-v3
Jul 3, 2025, 2:12 PM
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 2:06 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 2:06 PM
pushed to ref/rename-gas-batch-name in centrifuge/protocol-v3
Jul 3, 2025, 2:05 PM
pushed to ref/rename-gas-batch-name in centrifuge/protocol-v3
Jul 3, 2025, 12:38 PM
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 12:35 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 3, 2025, 12:37 PM
commented on pull request centrifuge/protocol-v3#495
Jul 3, 2025, 12:36 PM
pushed to ref/rename-gas-batch-name in centrifuge/protocol-v3
Jul 3, 2025, 12:35 PM
pushed to ref/contract-updater in centrifuge/protocol-v3
Jul 2, 2025, 3:22 PM
pushed to ref/contract-updater in centrifuge/protocol-v3
Jul 2, 2025, 3:19 PM
deleted branch feat/share-hook-gas-support at centrifuge/protocol-v3
Jul 2, 2025, 3:14 PM
pushed to post-electisec in centrifuge/protocol-v3
Jul 2, 2025, 3:14 PM
merged a pull request in centrifuge/protocol-v3
Jul 2, 2025, 3:14 PM
pushed to deploy-cbd-actions in centrifuge/protocol-v3
Jul 2, 2025, 3:13 PM
pushed to deploy-cbd-actions in centrifuge/protocol-v3
Jul 2, 2025, 3:04 PM
commented on pull request centrifuge/protocol-v3#491
Jul 2, 2025, 2:32 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 2, 2025, 2:32 PM
pushed to feat/share-hook-gas-support in centrifuge/protocol-v3
Jul 2, 2025, 2:32 PM
commented on pull request centrifuge/protocol-v3#491
Jul 2, 2025, 12:05 PM
reviewed a pull request in centrifuge/protocol-v3
Jul 2, 2025, 12:05 PM
pushed to feat/share-hook-gas-support in centrifuge/protocol-v3
Jul 2, 2025, 12:05 PM
pushed to feat/share-hook-gas-support in centrifuge/protocol-v3
Jul 2, 2025, 11:58 AM
commented on pull request centrifuge/protocol-v3#491
Jul 2, 2025, 11:55 AM
reviewed a pull request in centrifuge/protocol-v3
Jul 2, 2025, 11:55 AM
commented on pull request centrifuge/protocol-v3#486
Jul 2, 2025, 11:53 AM
reviewed a pull request in centrifuge/protocol-v3
Jul 2, 2025, 11:53 AM
reviewed a pull request in centrifuge/protocol-v3
Jul 2, 2025, 11:52 AM
commented on pull request centrifuge/protocol-v3#491
Jul 2, 2025, 11:52 AM
deleted branch deploy-cbd-actions-protected at centrifuge/protocol-v3
Jul 2, 2025, 11:51 AM
pushed to deploy-cbd-actions in centrifuge/protocol-v3
Jul 2, 2025, 11:51 AM
merged a pull request in centrifuge/protocol-v3
Jul 2, 2025, 11:51 AM
pushed to deploy-cbd-actions-protected in centrifuge/protocol-v3
Jul 2, 2025, 11:49 AM