George Thomas
Software Engineer at Obsidian Systems LLC
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolGeorge Thomas is a software engineer based in London with 11 years of experience and a strong foundation from an MMath/MComp at the University of Oxford. He is a functional programming enthusiast and practical Haskell engineer who has shipped tooling and developer-experience improvements for the widely used haskell-language-server, including Fourmolu integration and LSP code actions. His career spans consultancy and product roles—from technical analyst to contracted engineer and current work at Obsidian Systems—demonstrating adaptability across startups and client projects. An active open-source contributor, he focuses on maintainability, code quality and tooling rather than hype technologies (and no, he won’t join your crypto startup). Colleagues value his blend of deep theoretical training and hands-on full-stack problem solving across language-server internals and production systems. He brings a calm, pragmatic approach to complex engineering problems and a track record of improving developer workflows.
10 years of coding experience
4 years of employment as a software developer
Master's degree Mathematics and Computer Science, Master's degree Mathematics and Computer Science at University of Oxford
English
Github Skills (7)
formatting10
ide10
text-formatting10
server10
haskell10
ghc10
cabal9
Programming languages (22)
Github contributions (5)
haskell/haskell-language-server
Jul 2020 - Jan 2023
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:27 reviews, 68 commits, 30 PRs in 2 years 7 months
Contributions summary:George primarily contributed to the Haskell Language Server (HLS) project, focusing on enhancing its functionality and maintainability. Their work included adding a Fourmolu plugin for code formatting, fixing haddock parse errors, and updating Fourmolu versions. The user also implemented code actions for disabling warnings and integrating Fourmolu via a CLI interface. These changes demonstrate a focus on improving the developer experience and ensuring the project's code quality and adherence to style guidelines.
ghchaskell-language-servercabalhaskelllsp-server
georgefst/georgefst.github.io
Aug 2020 - Feb 2025
Contributions:41 pushes, 6 branches in 4 years 6 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.