Mikhail Rakhmanov
Software Engineer at Celestia Labs
Berlin, Germany
Summary
🤩
Rockstar🎓
Top SchoolMikhail Rakhmanov is a Berlin-based software engineer with a decade of experience building backend systems and distributed collaboration primitives. He led engineering efforts at Blacklane and authored a ground-up Go implementation of CRDTs and the any-sync protocol at Anytype, laying the technical foundation for a local-first collaborative product. Currently at Celestia Labs, he brings systems-level thinking to decentralized infrastructure while maintaining hands-on implementation skills in Rust and Go. An active open-source contributor, he has contributed to rust-analyzer—improving enum-to-struct assists and code-completion logic—demonstrating attention to code structure and developer ergonomics. Trained originally in law (MSU), he combines rigorous analytical thinking with pragmatic engineering and a knack for translating complex protocols into production-ready code.
10 years of coding experience
9 years of employment as a software developer
Лицей "Вторая школа"Гимназия № 45 имени Л.И. МильграмаLomonosov Moscow State University
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (6)
rust-analyzer10
refactoring10
rust10
refactor10
compiler-design9
code-completion8
Programming languages (7)
Github contributions (5)
rust-lang/rust-analyzer
May 2020 - Jul 2020
A Rust compiler front-end for IDEs
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 PRs, 39 comments in 1 month
Contributions summary:Mikhail primarily contributed to the `rust-analyzer` project by implementing and refactoring code related to extracting structs from enum variants. Their work involved modifying files within the `ra_assists` crate and focusing on code structure and formatting. Furthermore, the user demonstrated proficiency in the project's codebase, which involved handling multiple files and updating references. They also made a contribution related to the keywords in the code completion logic.
rustlsp-servercompileridefront-end
anyproto/any-sync
Jul 2023 - Apr 2025
An open-source protocol designed to create high-performance, local-first, peer-to-peer, end-to-end encrypted applications that facilitate seamless collaboration among multiple users and devices
Contributions:52 reviews, 128 PRs, 472 pushes in 1 year 8 months
anytypee2eelocal-firstp2pperformance
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.