Justin Garcia
Owner at Oxford Abstracts Ltd
Metro Manila, Philippines
Summary
🤩
RockstarJustin Garcia is a self-taught software engineer and founder with six years of experience specializing in functional programming, compilers, and type-safe systems. As a PureScript core team member he leads language and compiler design, contributing features like type-level integers and exhaustiveness fixes that improve compiler reliability. He runs Affine Technologies offering functional-first consulting while also contributing to academic event software at Oxford Abstracts and community building with Open Source Software PH. His open-source work spans backend systems and tooling—from refining infraction management in the popular Python Discord moderation bot to maintaining PureScript package sets and compiler internals. Justin’s background blends practical backend engineering (Discord bots, ML audio tooling) with deep language design, giving him a rare mix of user-facing product experience and low-level type-system expertise. Based in Metro Manila, he often applies compiler-grade rigor to everyday software problems, finding elegance in type safety and dependency management.
6 years of coding experience
1 year of employment as a software developer
Github Skills (28)
dependency-management10
compiled-language10
type-check10
package-management10
python10
purescript10
bots10
dhall10
package-repository10
compiler-design10
api10
discord-bot10
package10
command-line10
googlebot10
Programming languages (18)
Github contributions (5)
purescript/package-sets
Jan 2021 - May 2022
PureScript packages for Spago and Psc-Package
Role in this project:
Backend Developer
Backend DeveloperContributions:1 review, 13 commits, 11 PRs in 1 year 4 months
Contributions summary:Justin primarily contributed to the `purescript/package-sets` repository by adding and updating PureScript package definitions. Their commits focused on integrating new libraries, updating existing ones to newer versions, and managing dependencies within the project. The changes involved modifying Dhall configuration files to include packages like `typelevel-lists`, `pretty-logs`, and `ssrs`, highlighting a focus on dependency management within the PureScript ecosystem.
package-setpsc-packagepscpackage-managerspago
purescript/purescript
Oct 2021 - Dec 2022
A strongly-typed language that compiles to JavaScript
Role in this project:Backend Developer
Backend DeveloperContributions:2 releases, 91 reviews, 17 commits in 1 year 1 month
Contributions summary:Justin contributed to the PureScript compiler, primarily focusing on improvements and optimizations. They implemented features like type-level integers and improved type application handling. The user also addressed bugs, such as fixing inconsistencies and errors related to exhaustiveness checking and type holes, demonstrating a focus on compiler stability and accuracy.
typed-languagehaskelljavascriptcompilerstrongly-typed
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.