Sarah M.
Software Developer
I'm Sarah, and I'm a programmer. I will develop and optimize algorithmic, modelling, forecasting, and mathematical systems for you, in a way which is tested and documented. In terms of languages, I'm adept with Rust and Python, and know their systems very well, but have also worked with C, C++, Julia, Matlab, and R, plus automated theorem proving systems such as Coq and Lean4. I've also worked with logic programming systems such as Prolog and Datalog to the end of solving route planning, binpacking, and inventory optimization. In addition to models, I can also make bots to go with, such as creating a telegram interface. If your problem fits into any of these areas, feel free to reach out to me with a proposal, and I look forward to hearing from you.
Earnings and projects
An estimate from an earlier read
Across 11 contracts
Earnings, last 30 days
No data since Nov 5, 2026.