Basile Henry
Senior Software Engineer at MyrtleSoftware
Copenhagen, Capital Region of Denmark
Summary
🤩
Rockstar🎓
Top SchoolBasile Henry is a Senior Software Engineer based in Copenhagen with 13 years of experience building robust back-end systems and developer tools. He has deep functional-programming roots—an MEng in Electronics and Software Engineering from the University of Edinburgh—and a track record of contributing to prominent open-source projects in the Haskell and Rust ecosystems, including clash-compiler, dhall-haskell, ormolu and cargo. His work spans compilers, code formatters, package tooling and CLI UX, often focusing on correctness, test automation and non-TTY robustness. He’s shipped FPGA-targeted video analysis and CNN work early in his career, which explains his comfort bridging low-level hardware concerns with high-level language design. Quietly prolific in OSS, he routinely implements language-aware printers, diff tooling and compiler features rather than just cosmetic fixes. Colleagues would describe him as a detail-oriented engineer who improves developer experience across tooling and buildchains.
13 years of coding experience
1 year of employment as a software developer
Master of Engineering - MEng, Electronics and Software Engineering, Master of Engineering - MEng, Electronics and Software Engineering at The University of EdinburghEuropean School of Brussels 1
English, French, Spanish
Stackoverflow
1,327reputation
28kreached
30answers
0questions
Github Skills (38)
cargo10
testing10
command-line-interface10
code-standards10
dhall10
formatter10
elm10
data-structure10
formatters10
computer-engineering10
command-line10
data-structures10
error-handling10
rust10
package-manager10
Programming languages (19)
Github contributions (5)
dhall-lang/dhall-haskell
Jun 2018 - Jun 2021
Maintainable configuration files
Role in this project:
Back-end Developer
Back-end DeveloperContributions:33 reviews, 84 commits, 26 PRs in 3 years
Contributions summary:Basile primarily contributed to enhancing the `dhall-haskell` repository, focusing on implementing new command-line features, particularly the "diff" functionality for comparing Dhall expressions. Their work involved parsing command-line arguments, integrating the new functionality into the existing code structure, and developing the ability to diff lists and text values. The user added support for ANSI color codes within diff outputs and provided improvements to REPL features. The user also added functionality for generating dot graphs and implemented various improvements for the overall project.
configurationghchaskellcabalconfiguration-files
clash-lang/clash-compiler
Jun 2017 - Mar 2022
Haskell to VHDL/Verilog/SystemVerilog compiler
Role in this project:Backend Developer
Backend DeveloperContributions:3 reviews, 53 commits, 19 PRs in 4 years 10 months
Contributions summary:Basile primarily contributed to the Clash compiler, focusing on adding and improving features related to the hardware description language and its compilation process. They implemented new functions like `leToPlus` and made changes to existing code, such as the `SaturatingNum` instance. The user also addressed various issues, including fixing errors, adding support for new features like inline primitives and unsigned literals in IF statements, and improving the compilation process.
uvmasicvhdlsystemveriloghaskell
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.