Anton Kropp
Principal Engineer at Taxbit
Seattle, Washington, United States
Summary
👤
Senior🎓
Top SchoolAnton Kropp is a Principal Engineer in Seattle with 13+ years building high-throughput, resilient systems across startups and large companies, currently shaping platform and API architectures at Taxbit. He blends deep functional-programming expertise (Scala, F#, advanced type theory) with pragmatic systems work in C#/Java/C++, distributed systems, and infra automation, having architected core banking for 1M+ customers and indexed 200B+ transactions for real-time search. Anton is a hands-on leader who reduces on-call burden and deployment friction through smarter CI/CD, type safety, and operational tooling—skills honed at Stripe, Chime, and Copper Banking. An active open-source contributor, he optimized and refactored functional utilities in notable F# projects (FSharpx.Extras), and outside engineering he pursues diverse crafts from sailing and synths to Brazilian jiu-jitsu, reflecting a practical curiosity that drives cross-disciplinary solutions.
13 years of coding experience
18 years of employment as a software developer
BS Computer Engineering, BS Computer Engineering at University of Maryland - A. James Clark School of Engineering
Russian
Stackoverflow
8,742reputation
806kreached
107answers
70questions
mp4
top-5%
audio
top-5%
linq
top-5%
Github Skills (18)
fsharp10
functional-programming10
linq9
data-structure9
algorithm9
algorithms9
mp49
audio9
data-structures9
code-optimization8
haskell7
multimedia6
asp-net6
nodejs6
jackson6
Programming languages (18)
Github contributions (5)
fsprojects/FSharpx.Extras
Sep 2013 - Sep 2013
Functional programming and other utilities from the original "fsharpx" project
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits in 3 days
Contributions summary:Anton primarily contributed to adding and refactoring functional programming utility functions within the FSharpx.Core library. Their work involved implementing and optimizing Haskell-inspired functions such as `pad`, `intersperse`, `toLines`, and `toWords`. The user demonstrated a focus on code optimization by refactoring functions to use imperative loops and utilizing a `StringBuilder` for enhanced performance. They also added tests using FsCheck to validate the correctness of the new functions.
functional-programmingfsharpmonad-transformersf-sharplenses
devshorts/ytools
Nov 2019 - Jan 2023
Yarn workspace tools
Contributions:67 commits, 5 PRs, 46 pushes in 3 years 2 months
yarn-workspacejavascriptworkspaceyarn
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.