antonio moreno's repositories
terraform-infraestructura-como-codigo
Ejercicios y notas explicadas durante el curso de Udemy "Terraform: Infraestructura como Código"
sp500-btc-2022
Analysis of the price of the SP 500 index and BTC
hashicorp-vault
Este es el repositorio para el curso de Udemy "Hashicorp Vault: De 0 a Experto"
selekron-http
Non-official library that interfaces Selekron Xikra over HTTP.
TTC14eMotions
A solution using the Maude-based e-Motions tool.
bookend-doc
Docs and assets for bookend repository
emotions2maude_behavior
Behavior to Maude Model2Model transformation
es.uma.palladio
Palladio into e-Motions rule implementation
es.uma.palladio.minimumexample
Palladio's Minimum Example project executed by e-Motions rules
homebrew-tap
Nito's Homebrew Formulas
jekyll-to-s3
Github Action to deploy Jekyll site to AWS S3
jhipster-quarkus
Quarkus blueprint for JHipster
maude_model2text
Model to Text transformation.
mmatching
Maude Matching algorithm
nitodes-crawlerj
Yet another Bitcoin nodes crawler written in Java
palladio-into-emotions
e-Motions implementation of Palladio
setup-terragrunt
Sets up Terraform CLI in your GitHub Actions workflow.
terraform-provider-aws
Terraform AWS provider