Marc Badia
Systems & Cloud Architecture
I craft distributed systems, resilient infrastructures, and scalable cloud architectures.
Currently preparing for the AWS Certified Developer - Associate (DVA-C02) exam.
@marcbadiam
546 contributions in the last year. Building open source tools for cloud, security, and developer productivity.
AWS Developer – Associate
Systems Architecture & CI/CD
My Space
A collection of my projects, skills, and experiences.
Featured Projects
View more projectsIAM Axiom Verifier
AWS Security & FinOps
A Neuro-Symbolic Inference Engine that combines LLMs with SMT solvers to mathematically audit AWS IAM policies.
pip install iam-axiom-verifier Copy AffinityRouter
Distributed Systems
Intelligent task routing library that uses consistent hashing to maximize in-memory cache hits and minimize database pressure.
pip install affinity-router Copy ask-term
CLI Tool · Beta
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.