Luis Enrique Muñoz Martín

icon indicating an email [email protected]

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

Results 6 repositories owned by Luis Enrique Muñoz Martín

message-io

1.0k
Stars
69
Forks
Watchers

Fast and easy-to-use event-driven network library.

verified publisher icon lemunozm

termchat

534
Stars
26
Forks
Watchers

Terminal chat through the LAN with video streaming and file transfer.

verified publisher icon lemunozm

asciiarena

55
Stars
2
Forks
Watchers

Terminal multiplayer deathmatch game

verified publisher icon lemunozm

ruscii

152
Stars
13
Forks
Watchers

Terminal graphics engine: build your games in the terminal!

verified publisher icon lemunozm

service-io

35
Stars
0
Forks
Watchers

Build your own hostingless server.

verified publisher icon lemunozm

mailfred

28
Stars
5
Forks
Watchers

Expose services through the email infrastructure

verified publisher icon lemunozm