databricks-cdk/dist/resources/instance-profiles/index.d.ts

With this package databricks resources can be deployed with cdk

export * from "./instance-profile";