A type-safe, platform-agnostic weather engine built on Scala 3 and the Free Monad. We don't sell public citizen weather data—we sell the robust, authenticated infrastructure to host, stream, and compile it.
By decoupling the weather logic from execution, Aether Weather runs flawlessly on GCP App Engine, desktop environments, or localized servers.
Leverages Iron Refinement Types to guarantee network ports, rate limits, and scheduling intervals are valid before deployment. Zero runtime configuration errors.
Optimized package definitions compile directly into production-ready App Engine YAML configurations, making scaling and provisioning instantaneous.
Respects NOAA / NWS open data guidelines. Accesses public meteorological data without API key lock-in or premium developer toll gates.
// Define the sale & compile pipeline using a Free Monad
val salePipeline: SaasProgram[Unit] = for {
// 1. Create the Stripe subscription
subId <- SaasProgram(
WeatherSaleOp.CreateSubscription(
"usr_9f82d",
SaasPlan.SaaSAnnual
)
)
// 2. Grant repository access
_ <- SaasProgram(
WeatherSaleOp.GrantRepoAccess(
subId,
"weather-desktop-source"
)
)
// 3. Push compiled update to cloud runner
_ <- SaasProgram(
WeatherSaleOp.PushUpdate(
"weather-desktop-source",
Platform.Windows,
"1.0.0"
)
)
} yield ()Business lifecycles shouldn't be dynamic scripts prone to failures. In Aether Weather, the entire Stripe check, repository permission grant, and cloud runner binary push are modeled as a side-effect-free, composable Free Monad.
If the Scala compiler accepts your configuration, your business model, deployment strategies, and subscription webhooks are mathematically valid.
Whether you want to build and run the source code on your own machine, or let our managed GCP infrastructure handle the heavy lifting.
For hackers and self-hosters
Complete managed experience
Observe the compile-time verified Free Monad execution trace. Click the button below to simulate a Stripe checkout initiating repo provisioning and GCP deployments.