Marin Sokol
Software Development Engineer at Amazon Web Services (AWS)
Amsterdam, North Holland, Netherlands
Summary
🤩
Rockstar🎓
Top SchoolMarin Sokol is a pragmatic Software Development Engineer with 8 years of experience building production software, currently driving engineering work at AWS from Amsterdam. His background spans machine learning applied to banking and telecom, high-frequency cryptocurrency arbitrage tooling, and full-stack contributions to the popular Ace code editor where he improved autocomplete, theming, and tokenization. Marin blends backend Python expertise with front-end editor and tooling improvements, delivering pragmatic solutions across data-driven and systems-focused domains. He holds degrees in Computer Science from the University of Zagreb and pursued graduate studies at AGH, reflecting a sustained academic and practical focus on robust software design.
8 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at University of Zagreb/Sveuciliste u ZagrebuAGH University
English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (10)
editors10
javascript10
jestjs10
theming10
editor10
jtest10
jes10
code-formatting9
html9
css9
Programming languages (5)
Github contributions (5)
ajaxorg/ace
May 2023 - Mar 2025
Ace (Ajax.org Cloud9 Editor)
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:6 releases, 52 reviews, 33 PRs in 1 year 10 months
Contributions summary:Marin primarily contributed to the Ace editor codebase, making modifications across various files, including core editor functionality, theming, and testing. They addressed issues related to autocomplete features, updated the version configuration, and added a new theme. Additionally, the user implemented a lightweight tokenizer extension and made documentation corrections. They also contributed to the edit session operation.
hostingcloud9javascriptomsace
marinsokol5/dshelperr
Oct 2018 - Jul 2021
Contributions:35 pushes, 1 branch in 2 years 10 months
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.