Gabe Corral

Software Engineer | Backend & Linux Systems

About

Cedar Park, TX

Software Engineer with four years of experience supporting Linux-based production systems, automating operational workflows, and building backend services. Strong background in Python, Bash, AWS, MySQL, PostgreSQL, Odoo, Datadog alerting and logging, and deployment troubleshooting, with active systems projects in Arch Linux distribution tooling, virtualization, X11 window management, and C++ systems programming.

Experience

Texas Precious Metals & Texas Depository | Software Developer | 07/2022 - current

Led migration from a legacy accounting platform to Odoo, cutting daily manual work from 3 hours to 30 minutes.
Built a custom ERP-to-Salesforce integration that automated sales and operational data flow, contributing to a 1.5x increase in revenue.
Engineered RESTful APIs that automated live spot-price updates across business systems, driving manual price input from 1–2 minutes down to under 1 second.
Spearheaded EC2 and RDS cost optimization, trimming monthly AWS spend 15% without impacting performance.
Deployed an automated Datadog alerting pipeline, accelerating incident response from a few hours to 1–5 minutes.
Modernized legacy tooling into a Django/React/MySQL stack, retiring 4 manual processes in inventory, accounting, and trading.
Administered Linux production servers, deploying, patching, and troubleshooting 3 business-critical applications.
Owned development and maintenance of production Django, React, and MySQL applications spanning inventory, accounting, and e-commerce workflows.
Deployed and operated AWS infrastructure across EC2, RDS, Load Balancers, and Route 53 to support reliable production services.
Built CI/CD pipelines, automation scripts, and internal tooling that reduced release friction and streamlined developer and operational workflows.

Coding with Kids | Coding Instructor | 08/2021 - 07/2022

Taught Python fundamentals and mentored students through debugging and project development.

Projects

Arch Linux / Dev Environment

DevelOS

An installable Arch-based Linux distribution built with archiso, custom PKGBUILDs, and a generated local pacman repository. Includes automated ISO/package builds, QEMU install testing, and Calamares plus CLI installer paths.

Arch Linux
dwm
Shell
QEMU

GitHub

Next.js / Product Website

DevelOS Website

A responsive product site for DevelOS with a landing page, documentation, and blog content. Built to present the Linux distribution clearly as the project grows.

Next.js
React
Tailwind CSS
TypeScript
Github Actions

Website GitHub

Python / Window Managers

Tiling Window Manager

Under Active Development

A Python X11 window manager built with the intention on eventually replacing my current desktop environment/window manager and better understand how X11 works on Linux.

Python
X11
Linux

GitHub

C++ / Trading Systems

Order Book Engine

Under Active Development

A C++ order book focused on performance and reliability. Built to strengthen C++ skills and learn GoogleTest.

C++20
CMake
GoogleTest

GitHub

C++ / TUI

YouTube Audio Player

Terminal program that plays YouTube audio. I made this program solely for personal use. I just wanted to have an easy way to play podcasts or music from my terminal.

C++
FTXUI
Multithreading

GitHub

Multi-Player Browser Games

Clone Labs

Clone Labs is a collection of multiplayer party-game prototypes inspired by familiar classroom and social game formats. The design follows Kahoot and Jackbox-style interaction patterns for shared group play.

React
Django
PostgreSQL

GitHub

Skills

Languages

Python
C++
JavaScript
PHP
SQL

Systems & Tools

Linux
Bash
Git
MySQL
Odoo
AWS

Focus Areas

Backend Development
Linux Systems
Systems Programming
Performance & Reliability