Marc Badia
I craft distributed systems, resilient infrastructures, and scalable cloud architectures.
Currently preparing for the AWS Certified Developer - Associate (DVA-C02) exam.
What I Do
My Space
A collection of my projects, skills, and experiences.
Selected work
Featured Projects
AWS Security & FinOps
IAM Axiom Verifier
A Neuro-Symbolic Inference Engine that combines LLMs with SMT solvers to mathematically audit AWS IAM policies.
pip install iam-axiom-verifier Copy Distributed Systems
AffinityRouter
Intelligent task routing library that uses consistent hashing to maximize in-memory cache hits and minimize database pressure.
pip install affinity-router Copy CLI Tool · Beta
ask-term
Animated CLI for multi-provider LLMs with persistent sessions. Chat with GPT, Claude, Gemini or Ollama directly from your terminal.
pip install ask-term Copy My Stack
Systems Architecture & CI/CD
Building scalable, resilient systems
AWS Developer – Associate
DVA-C02
Course by Tutorials Dojo · Exam expected for this summer
GitHub
@marcbadiam
546+ contributions in the last year
Check out my open source projects and contributions!
Visit ProfileUniversity
Universitat Rovira I Virgili
Software Engineering
Graduation in 2027
Computer Engineering with Software Specialization
Languages
I speak multiple languages to collaborate effectively with global teams.