terranix is a Nix-based infrastructure-as-code tool that combines the providers of Terraform (or OpenTofu) and the lazy, functional configuration of NixOS. terranix works as an alternative to HCL by generating Terraform JSON that can then be applied using the same providers.
See terranix.org for getting started.
man terranixman terranix-modulesman terranix-doc-jsonman terranix-doc-man