Benjamin Kovach
Founder at bendotk
Vermont, United States
Summary
🤩
Rockstar🎓
Top SchoolBenjamin Kovach is a functional-programming-focused founder and engineer with 14 years of experience building reliable backend systems and shipping on-time results. He has led engineering teams and initiatives across startups and education tech — from stabilizing deployments and improving revenue at Seller Labs to shaping integrations and Haskell-based web apps at Freckle Education and Mercury. A long-time Haskell and PureScript contributor, he has improved core compiler tooling including type checking and REPL features for the widely used PureScript project, reflecting deep competence in type systems and developer tools. Ben combines hands-on coding across Haskell, JavaScript, and infrastructure with empathetic technical leadership—serving as ScrumMaster, mentor, and thoughtful code reviewer. He now applies his craft to generative art through his venture bendotk while remaining grounded in pragmatic, collaborative engineering practices. Based in Vermont, he brings an unusual mix of formal language expertise and product-minded delivery to small teams and founder-led projects.
14 years of coding experience
10 years of employment as a software developer
University of Georgia
Github Skills (11)
purescript10
type-checking10
type-check10
compiler-development10
repr9
replit9
parserator9
parser9
compiled-language8
haskell6
javascript5
Programming languages (18)
Github contributions (5)
purescript/purescript
Aug 2014 - Oct 2015
A strongly-typed language that compiles to JavaScript
Role in this project:
Back-end Developer
Back-end DeveloperContributions:20 commits, 3 PRs, 31 comments in 1 year 2 months
Contributions summary:Benjamin contributed to the PureScript compiler's core functionality, focusing on the type checker and PSCi (PureScript Compiler Interactive) tool. Their commits involved modifying code related to kind checking, type parsing, and the handling of type information within PSCi. The user implemented features for kind-of commands, type synonym handling, and fixing bugs within the type checking and REPL (Read–Eval–Print Loop) components, thereby improving the tool's usability and accuracy.
typed-languagehaskelljavascriptcompilerstrongly-typed
5outh/5outh.github.io
Sep 2020 - Nov 2021
Contributions:43 commits, 76 pushes, 2 comments in 1 year 1 month
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.