Marek Kaput
Staff Software Engineer at Software Mansion
Krakow, Lesser Poland Voivodeship
Summary
🤩
Rockstar🎓
Top SchoolMarek Kaput is a Staff Software Engineer based in Krakow with 11 years of experience building developer tools, compilers, language servers, AI agent systems, and distributed backend and media platforms. He specializes in Rust and Elixir, driving both individual contributions and multi-team efforts—from authoring an "Agentic Engineering Guide" and shipping agent-driven products to leading teams of up to 15 engineers. Marek played a key role in the Cairo compiler and StarkNet tooling, co-architecting a Salsa-based compiler, creating Scarb and a Cairo language server, and helping Starkware’s move to Rust that yielded a 10× block finality improvement. Comfortable as IC, tech lead, and manager, he blends low-level compiler diagnostics and tooling work with pragmatic system design for production distributed systems. An active open-source contributor, he brings a rare mix of compiler internals expertise and operational leadership to developer-facing infrastructure.
11 years of coding experience
9 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at AGH University of Krakow
Polish, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (14)
zk10
zkp10
starknet10
compiler-design10
rust10
lexical-analysis10
lex10
syntax-highlighting10
cairo10
testing9
automation8
automations8
intellij8
clion7
Programming languages (21)
Github contributions (5)
starkware-libs/cairo
May 2022 - Mar 2023
Cairo is the first Turing-complete language for creating provable programs for general computation.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1105 reviews, 27 commits, 580 PRs in 10 months
Contributions summary:Marek contributed significantly to the Cairo compiler project, focusing on enhancing the compilation process and improving diagnostics. They updated the Rust toolchain, defined a unified interface for Cairo compilation within the compiler crate, and made internal functions public. Furthermore, the user refactored and improved the compilation process by introducing the `DiagnosticsReporter` and ensuring proper diagnostics reporting within different modules of the compiler. They also worked on StarkNet integration by allowing StarkNet application to the `RootDatabaseBuilder`.
computationturing-completecairo-langzkpturing
intellij-rust/intellij-rust
Feb 2016 - Feb 2017
Rust plugin for the IntelliJ Platform
Role in this project:Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:205 commits, 75 PRs, 721 comments in 1 year
Contributions summary:Marek primarily worked on enhancing the Rust plugin for IntelliJ by implementing new features and improving existing ones. The user added support for string literal lexing and highlighted character escapes. They also added mime types and improved code style. The user's work involved testing and refactoring code.
intellij-platformrustclionintellij-pluginjetbrains
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.