Software Developer & Researcher

Carla
González.

Building tools at the intersection of compilers, functional programming, and visual computing. I write code that thinks about how code thinks.

View Projects Get in touch
// portfolio_v1.hs she/her
2026
Available for collaboration
Compiler &
FP Enthusiast
Haskell Elixir C++ Vision OSS
About me

A mind drawn to
the elegant

I'm a software developer with a deep passion for understanding how languages work under the hood. From lexers and parsers to type systems and IR transformations, compiler design is where I feel most at home.

I'm equally drawn to functional programming — the discipline of writing code that reasons about itself with clarity and immutability. Haskell and Elixir are my playgrounds.

Outside of pure abstraction, I explore computer vision and visual computing, where math meets the physical world. I also love hiking trails and playing guitar — analog escapes from digital complexity.

7+
Languages learning
4
Core domains
∞
Open source passion
she/her
Pronouns
My focus areas

What I care about

🧠
Compiler Design
Lexing, parsing, AST transformation, semantic analysis, code generation. I love building things that read and transform other things.
λ
Functional Programming
Purely functional techniques, monads, type theory, immutability. Writing programs that reason about correctness by construction.
👁️
Computer Vision
Image processing, feature detection, visual computing. Bridging mathematical abstractions with the physical, visual world.
⚙️
Systems Programming
Low-level C and C++, memory management, performance-critical code. Understanding the machine beneath the abstraction.
Tech stack

Languages &
Tools

Currently learning and working with a wide range of languages — from high-level functional to bare-metal systems. I believe knowing multiple paradigms makes you a better thinker.

Python Python
Java Java
Elixir Elixir
Haskell Haskell
C C
C++ C++
C# C#
Unity Unity
CMake CMake
Git Git
GitHub GitHub
Rascal Rascal
Selected work

Things I've
Built

01
Kotlin Rascal DSL AI
SwimmingDSL
Desktop app for designing and optimizing swimming training sessions using a custom domain-specific language parsed by Rascal, powered by 3 AI agents on Gemini 2.5 Flash.
View on GitHub →
02
Rascal Static Analysis Microservices
ArchGuard-M3
Static analysis tool that detects architectural drift in microservices by comparing a planned design (via a custom DSL) against actual Java/Spring Boot code using Rascal's M3 models and relational algebra.
View on GitHub →
03
Python OpenCV Robotics
Surface Recognition
Surface classification system for the Pepper robot using HSV color histograms and LBP texture analysis. Enables real-time terrain recognition and adaptive movement through computer vision.
View on GitHub →
04
Python Neural Networks ML
Detection of Traffic Nets
Neural network model for predicting congestion in communication networks by analyzing traffic patterns — detecting high latency, packet loss, and bandwidth degradation before they occur.
View on GitHub →
05
Python Parser ML
MathAnalizer
A mathematical expression analyzer with parsing and ML integration for processing integral equations and complex expressions. Combines parser generation with intelligent analysis.
View on GitHub →
06
Haskell Algorithms FP
Dynamic Programming in Haskell
A collection of dynamic programming problems solved in Haskell, exploring purely functional approaches to classic algorithmic challenges with immutability and recursion.
View on GitHub →
07
OS Systems Low-Level
AthenOS
An operating system project exploring kernel development, memory management, and low-level systems programming from the ground up.
View on GitHub →
08
Python Chatbot NLP
Chatbot Inventario
An intelligent chatbot for inventory management built in Python. Automates stock queries, product lookups, and inventory operations through natural language interaction.
View on GitHub →
Contact

Let's build something
together.

carlagonzalez024@outlook.com

I'm open to collaborating on open-source projects in compilers,
functional programming, and visual computing.

LinkedIn GitHub Email