Leonhard Markert

Software Engineer at Tweag I/O

Germany
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Leonhard Markert is a software engineer with 14 years' experience building reliable tooling and infrastructure, currently focused on reproducible development environments and Haskell/Rust ecosystems. At Tweag I/O he contributed to lorri (a popular Nix-based dev environment), helped rewrite a Haskell random library, and worked on JVM benchmarking and critical system rewrites. His open-source contributions show strengths in DevOps, build systems and automation—adding Nix support, benchmark tooling, stricter build flags, and CI-focused refinements to LiquidHaskell, lorri and Nickel. Comfortable across backend and full-stack Rust work, he combines low-level language expertise with practical engineering to make builds more reproducible and developer-friendly.
code14 years of coding experience
job4 years of employment as a software developer
bookUniversity of Cambridge
bookAbitur, Abitur at Landesgymnasium für Hochbegabte
languagesEnglish, German, French
stackoverflow-logo

Stackoverflow

Stats
296reputation
5kreached
4answers
3questions
github-logo-circle

Github Skills (28)

back-end-development10
nix10
clippy10
automation10
build-automation10
automations10
rust10
configuration-language10
haskell10
testing9
command-line-interface9
dependency-management9
cicd9
verification9
rustfmt9

Programming languages (27)

CStandard MLGoHTMLJupyter NotebookWrenTypeScriptShell

Github contributions (5)

github-logo-circle
target/lorri

Oct 2019 - Jun 2020

Your project's nix-env
Role in this project:
userFull-stack Developer
Contributions:7 reviews, 135 commits, 94 PRs in 8 months
Contributions summary:Leonhard primarily contributed to the development of the `lorri` project, which is described as a nix-env tool. They focused on improving the codebase's structure and dependencies, making changes to both the command-line interface (`src/cli.rs`) and core modules, indicating full-stack involvement. The user's work included refactoring to the `crossbeam_channel` library and various dependency updates, with attention also paid to bug fixes, indicating a sustained effort on the project.
dotfilesenvnixosnix-env
tweag/nickel

Jan 2020 - Jul 2021

Better configuration for less
Role in this project:
userBack-end Developer & Automation Engineer
Contributions:1 review, 5 commits, 1 PR in 1 year 5 months
Contributions summary:Leonhard primarily contributed to the back-end of the "nickel" configuration language project. Their work includes refactoring code, correcting typos, and fixing clippy warnings. Furthermore, the user has demonstrated an understanding of the project's infrastructure by adding clippy and rustfmt to the environment.
configurationinfrastructureconfignickeldotfiles
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.
Request Free Trial
Leonhard Markert - Software Engineer at Tweag I/O