Passionate about functional programming and dependent types. Rust & Haskell ❤️. Living in the terminal with Tmux + Neovim 💻 . Currently learning Lean4
message-io. Fast and easy-to-use event-driven network library.
1.2ktermchat. Terminal chat through the LAN with video streaming and file transfer.
589ruscii. Terminal graphics engine: build your games in the terminal!
209asciiarena. Terminal multiplayer deathmatch game
74service-io. Build your own hostingless server.
35mailfred. Expose services through the email infrastructure
33lancat. cat utility on the LAN
8torophy. 2D physics engine over a toroidal space
5asciiarena-js. An arcade multiplayer console game
4dotfiles. Configuration files to set up my mouse-free terminal environment
2packet-meta-classifier. Network packet classifier
2nvim-config. My nvim configuration
1runtypes. Fast and lightweight runtime-types library
1