lemunozm

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

centrifuge.ioMadrid

Pinned Repositories

centrifuge-chain
Centrifuge Chain: the layer-1 blockchain for real-world assets, built on Substrate.
Language:Rust185 20 71586
asciiarena
Terminal multiplayer deathmatch game
Language:Rust61 6 12
asciiarena-js
An arcade multiplayer console game
Language:Python4 3 00
lancat
cat utility on the LAN
Language:Rust8 4 21
mailfred
Expose services through the email infrastructure
Language:Rust30 4 15
message-io
Fast and easy-to-use event-driven network library.
Language:Rust1.1k 17 7975
ruscii
Terminal graphics engine: build your games in the terminal!
Language:Rust174 7 1716
service-io
Build your own hostingless server.
Language:Rust35 3 10
termchat
Terminal chat through the LAN with video streaming and file transfer.
Language:Rust565 10 2326
torophy
2D physics engine over a toroidal space
Language:Rust5 4 12

lemunozm's Repositories

lemunozm/message-io
Fast and easy-to-use event-driven network library.
Language:Rust1.1k 17 7975
lemunozm/termchat
Terminal chat through the LAN with video streaming and file transfer.
Language:Rust565 10 2326
lemunozm/ruscii
Terminal graphics engine: build your games in the terminal!
Language:Rust174 7 1716
lemunozm/asciiarena
Terminal multiplayer deathmatch game
Language:Rust61 6 12
lemunozm/service-io
Build your own hostingless server.
Language:Rust35 3 10
lemunozm/mailfred
Expose services through the email infrastructure
Language:Rust30 4 15
lemunozm/lancat
cat utility on the LAN
Language:Rust8 4 21
lemunozm/torophy
2D physics engine over a toroidal space
Language:Rust5 4 12
lemunozm/asciiarena-js
An arcade multiplayer console game
Language:Python4 3 00
lemunozm/packet-meta-classifier
Network packet classifier
Language:Rust2 3 01
lemunozm/nvim-config
My nvim configuration
Language:Vim script1 3 0
lemunozm/runtypes
Fast and lightweight runtime-types library
Language:C++1 3 01
lemunozm/terminal-config
Tools and configuration to set up a mouse-free terminal environment
Language:Vim Script1 3 0
lemunozm/arewegameyet
The repository for https://arewegameyet.rs
Language:SCSS2 0
lemunozm/atmega328p-tetrix
A Tetrix implementation using an atmega328p.
Language:C3 0
lemunozm/awesome-rust
A curated list of Rust code and resources.
Language:Rust2 01
lemunozm/bevy_spicy_aseprite
Language:Rust2 0
lemunozm/cppstyle
My C++ coding style
3 0
lemunozm/device_query
A simple library to query mouse and keyboard inputs without a window. Will work in Windows and Linux.
Language:Rust2 0
lemunozm/frontier
Ethereum compatibility layer for Substrate.
Language:Rust1 0
lemunozm/GRO63
New version of GRO supporting more proteins
Language:C++2 0
lemunozm/krakenrs
Rust client for Kraken API
Language:Rust1 0
lemunozm/open-runtime-module-library
Substrate Open Runtime Module Library
Language:Rust1 0
lemunozm/oxidized
Dart package with Rust-like types such as Option and Result.
Language:Dart2 0
lemunozm/polkadot
Polkadot Node Implementation
Language:Rust1 0
lemunozm/polkadot-sdk
The Parity Polkadot Blockchain SDK
Language:Rust1 0
lemunozm/references-pattern-api
C++11 header-only that facilitates the creation of a reference pattern API
Language:C++3 0
lemunozm/rust.vim
Vim configuration for Rust.
Language:Vim Script2 0
lemunozm/substrate
Substrate: The platform for blockchain innovators
Language:Rust1 0
lemunozm/syn
Parser for Rust source code
Language:Rust0 0