Marko Dimjašević
Back End Developer at Typus Tech d.o.o.
Križevci, Koprivnica-Križevci County, Croatia
Summary
🤩
Rockstar🎓
Top SchoolMarko Dimjašević is a Back End Developer and founder with 12 years of experience building robust server-side systems, combining machine learning ops sensibilities with formal methods and functional programming. He has contributed to notable open-source projects including Wire's back-end services and the PLFA Agda book, demonstrating both practical engineering and meticulous technical writing. His background spans research at NASA Ames, formal methods work at IOHK, and production Scala and Haskell development, reflecting comfort across distributed systems and strongly-typed languages. Based in Croatia, he runs Typus Tech while bringing short-term impact as a Software Engineer at Wire, blending startup agility with research-grade rigor. An enthusiast of Home Assistant and DIY electronics, he applies a tinkerer’s mindset to shipping reliable, well-documented backend features.
12 years of coding experience
2 years of employment as a software developer
The University of UtahMaster of Engineering - MEng, Computer Science, Master of Engineering - MEng, Computer Science at University of Zagreb
Github Skills (11)
textbook10
docbook10
proof-assistant10
programming-language10
agda10
wires10
server10
haskell10
storybook10
documentation10
rust5
Programming languages (17)
Github contributions (5)
wireapp/wire-server
Apr 2021 - Jan 2023
🇪🇺 Wire back-end services
Role in this project:
Back-end Developer
Back-end DeveloperContributions:825 reviews, 325 commits, 345 PRs in 1 year 9 months
Contributions summary:Marko primarily contributed to the back-end services of the Wire server. Their work involved fixing documentation typos in the Wire API, removing a deprecated data type, and generalizing a mock federator to work with any `MonadIO m` monad. Further improvements included introducing a generalized version of the wai-extra Session type constructor and making updates to the codebase, and making code improvements for the codebase.
golangreactrusthaskellnodejs
plfa/plfa.github.io
Dec 2018 - Nov 2020
An introduction to programming language theory in Agda
Role in this project:Technical Writer
Technical WriterContributions:4 reviews, 136 commits, 148 PRs in 1 year 11 months
Contributions summary:Marko primarily contributed to the repository by correcting grammatical and spelling errors within the Agda source code files. Their work focused on improving the clarity and accuracy of the text, specifically within chapters related to programming language theory concepts such as induction, relations, and equality. They also addressed minor formatting issues and inconsistencies in the documentation.
polymorphismdependent-typeshomotopy-type-theorytype-theorylanguage-theory
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.