Software Developer & Tech Enthusiast

HOME
ABOUT
PORTFOLIO
SKILLS & EXPERTISE
CONTACT
RESUME
ARCHIVES

Home Tags rp2040

Tag

rp2040 1

My Chocofi Split Keyboard Build Journey Jul 25, 2026

Recently Updated

My Chocofi Split Keyboard Build Journey
Miryoku Keymap Reference for the Chocofi
Emacs Keybindings: A Comprehensive Reference from Basics to Advanced
TLC Performance and State Space Management: Every Optimization Technique
Raw TLA+ Essentials: The Complete Guide to Writing Specs Without PlusCal

Trending Tags

distributed-systems model-checking tla-plus formal-verification pluscal yubikey fido2 gpg openpgp advanced

© 2026 Sunil Murthy. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

distributed-systems model-checking tla-plus formal-verification pluscal yubikey fido2 gpg openpgp advanced