Norbert Melzer
Senior Elixir Developer at bravobike GmbH
Hamburg, Germany
Summary
🤩
Rockstar🎓
Top SchoolNorbert Melzer is a Senior Elixir Developer based in Hamburg with 12 years of experience building backend systems and a clear preference for functional languages. He has progressed from embedded and radio/TV repair roots through military communications to professional software engineering roles at CloudSeeds, i22, and currently bravobike, bringing practical discipline and reliability to distributed systems. Norbert contributes to open-source language tooling, notably enhancing the Idris dependently-typed language’s CLI and build workflow, showing comfort with advanced type-driven tooling beyond day-to-day Elixir work. He favors pragmatic, high-quality engineering and expects clear role requirements—his profile signals he engages most where Java, Go, or JavaScript are primary objectives. Colleagues benefit from his systems mindset rooted in field operations and long-term maintenance experience. He combines functional-programming craftsmanship with hands-on production delivery in fast-moving product teams.
12 years of coding experience
1 year of employment as a software developer
Gesellenbrief, Radio- und Fernsehtechnologie/Techniker, 3, Gesellenbrief, Radio- und Fernsehtechnologie/Techniker, 3 at Berufsbildende Schulen BremervördeFachhochschulreife, 1.7, Fachhochschulreife, 1.7 at Bundeswehr Fachsschule HannoverComputer Science, Computer Science at Fachhochschule Wedel
English, German
Stackoverflow
1,370reputation
125kreached
8answers
22questions
Github Skills (16)
idris10
haskell10
command-line9
cli9
command-line-interface9
cab9
cabal9
package-management8
erlang-otp6
asdf-vm6
erlang6
capybara6
elixir6
testing6
ruby-on-rails6
Programming languages (53)
Github contributions (5)
idris-lang/Idris-dev
Jan 2015 - Jan 2015
A Dependently Typed Functional Programming Language
Role in this project:
Back-end Developer
Back-end DeveloperContributions:8 commits, 4 PRs, 25 comments in 2 days
Contributions summary:Norbert primarily contributed to the core functionality of the Idris programming language, specifically in extending existing features. They added options for displaying library-related information and implemented the `showPkgs` function to list installed packages, modifying the `Main.hs` and `idris.cabal` files. Their work also involved fixing an import issue and adding a flag for CI builds within the Cabal file. The commits demonstrate a focus on improving the command-line interface and build process of the language.
dependent-typesfunctional-programmingtype-theorylanguage-designlambda-calculus
NobbZ/qmk_firmware
Jan 2022 - May 2022
Contributions:47 commits, 2 PRs, 10 pushes in 3 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.