Skip to content
View Carlixgonzam's full-sized avatar
💫
Focusing
💫
Focusing

Highlights

  • Pro

Organizations

@imagine-uniandes

Block or report Carlixgonzam

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Carlixgonzam/README.md

🧠 About Me

class Carla:
    pronouns     = "she/her"
    location     = "🌍 Earth"
    passion      = ["compilers", "functional programming", "computer vision"]
    learning     = ["Python", "Java", "Elixir", "Haskell", "C", "C++", "Unity"]
    collaborate  = "open-source projects in compilers, FP & visual computing"
    ask_me_about = ["compiler design", "purely functional techniques",
                    "image processing", "systems programming"]
    fun_fact     = "I hike trails and shred guitar strings 🎸🏔️"

🛠️ Languages & Tools

Languages

                    

Tools & Platforms

        


🌱 Currently Exploring

Area Topics
🔧 Compilers Parsing, AST transformations, code generation
λ Functional Pure functions, monads, type systems
👁️ Computer Vision Image processing, feature detection
🎮 Game Dev Unity, C# scripting, 3D environments

📫 Connect with Me

LinkedIn Email


Pinned Loading

  1. swimmingdsl swimmingdsl Public

    A tool that provides a domain-specific language (DSL) designed to simplify and streamline tasks related to swimming programs. With swimmingdsl, users can create, manage, and optimize swimming routi…

    Kotlin 1

  2. ArchGuard-M3 ArchGuard-M3 Public

    A static analysis tool built with Rascal to detect architectural drift in microservices. Compares planned design (via a custom DSL) against actual Java/Spring Boot implementation using M3 models an…

    Rascal

  3. TerraScan TerraScan Public

    A security analyzer for Terraform (HCL) built with Rascal. It performs deep structural inspection to detect security smells, unrestricted access, and infrastructure misconfigurations.

    Kotlin

  4. Crucible Crucible Public

    An interactive algorithm laboratory built with Kotlin and Jetpack Compose. Implements and verifies core algorithms from CLRS (Cormen) including Red-Black Trees, Edmonds-Karp Max Flow, Dynamic Progr…

    Kotlin

  5. DinamicProgramming DinamicProgramming Public

    Interesting exercises of Dinamic Programming for get experience in algorithms.

    Haskell

  6. imagine-uniandes/ColivriDigitalTwin_VR imagine-uniandes/ColivriDigitalTwin_VR Public

    C# 1