Cody Allen
Lead Infrastructure Engineer at Unison Computing
Sunnyvale, California, United States
Summary
🤩
Rockstar🎓
Top SchoolCody Allen is a Lead Infrastructure Engineer based in Sunnyvale with 14 years of experience building robust backend and infrastructure systems across startups and large enterprises. He’s led ML infrastructure work at Salesforce and now drives platform reliability and developer tooling at Unison Computing, blending operational rigor with deep engineering. A long-time contributor to prominent Scala open-source projects—typelevel/scalacheck, cats, shapeless and scalaz—he brings strong functional-programming expertise and a knack for improving core libraries and documentation. His contributions span nuanced type-level enhancements, property-based testing improvements, and practical QA fixes, reflecting both design sensibility and attention to tooling quality. Cody’s background in engineering physics and computer science gives him a solid analytical foundation, and he often surfaces subtle correctness and usability fixes that quietly raise developer productivity.
14 years of coding experience
10 years of employment as a software developer
The Indiana AcademyBSE, Engineering Physics, Computer Science, BSE, Engineering Physics, Computer Science at Case Western Reserve University
Stackoverflow
412reputation
4kreached
3answers
3questions
Github Skills (31)
property-based-testing10
programming-language10
typesc10
hlist10
testing10
scalaz10
data-structure10
scala10
monad-transformers10
generic-programming10
data-structures10
functional-programming10
scalacheck10
haskell10
unison10
Programming languages (19)
Github contributions (5)
typelevel/cats
Feb 2015 - May 2020
Lightweight, modular, and extensible library for functional programming.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 releases, 656 commits, 584 PRs in 5 years 4 months
Contributions summary:Cody focused on adding ScalaDoc examples to the documentation for several methods, contributing to better documentation. The user also updated and improved instances for various traits, showcasing a deeper understanding of the codebase. The contributions involved extending syntax with new functionalities and adding unit tests, with a focus on ensuring compatibility and maintainability within the project. The edits were related to the project's core and contributed to its overall documentation.
functional-programmingtagless-finalscalamodularextensible
typelevel/scalacheck
May 2014 - Apr 2018
Property-based testing for Scala
Role in this project:Back-end Developer
Back-end DeveloperContributions:8 commits, 12 PRs, 18 comments in 4 years
Contributions summary:Cody's contributions focused on enhancing the ScalaCheck library, specifically by introducing and refining functionality related to property-based testing. They implemented a `Choose.xmap` function for transforming `Choose` instances, added a `Shrink[Either[T1, T2]]` instance for shrinking either types, and integrated support for `Duration` and `FiniteDuration` with associated `Gen`, `Arbitrary`, and `Shrink` instances, including a `Choose` instance for `FiniteDuration`. Furthermore, the user adjusted the `Gen.option` function and corrected the `Cogen` implementation for Try to use `seed.next`.
property-based-testingproperty-testingtestingscalazscala
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.