About me
- Hey there! I'm Chrispine. I'm based in Nairobi, Kenya.
- Interests: Distributed Systems (and their formal verification, using tools like TLA+) + Blockchain-based systems
- Languages: Python (Proficient), Rust (Advanced beginner)
- Frameworks: Django/Flask; Actix Web
- More @ chiedo.dev