# sota.io

> EU-native DevOps PaaS — deploy web apps with a single API call, get a live URL.

sota.io is a deployment platform for developers and AI agents. Deploy any web application and get a live URL at {slug}.sota.io in seconds. Hosted in Germany (Hetzner Cloud), fully GDPR-compliant.

## What You Can Deploy

- **Next.js** — Auto-detected via next.config.js/ts. Add `output: 'standalone'` for optimal builds.
- **Node.js** — Express, Fastify, Koa, Hapi, or any framework with a `start` script in package.json.
- **Python** — Flask, FastAPI, Django. Detected via requirements.txt or pyproject.toml.
- **Any language** — Provide a custom Dockerfile for Go, Rust, Java, Ruby, PHP, or anything else.

Your app MUST listen on the `PORT` environment variable. For auto-detected frameworks (Next.js, Node.js, Python), PORT is 8080. For custom Dockerfiles, the port is auto-detected from the EXPOSE directive (e.g., `EXPOSE 3000` sets PORT=3000). If no EXPOSE is found, it defaults to 8080.

## Managed PostgreSQL Database

Every project includes a managed PostgreSQL 17 database — no setup required.

- `DATABASE_URL` is auto-injected into your container at runtime.
- Format: `postgresql://app_{slug}:{password}@sota-pgbouncer-{slug}:5432/{slug}?sslmode=disable`
- PgBouncer connection pooling included (pool size: 20, max clients: 100).
- Automatic daily backups with 7-day retention.
- Passwords are cryptographically generated (32 hex chars).
- All credentials encrypted at rest (AES-256-GCM).

You do NOT need to set any database variables manually. All six are auto-injected:

| Variable | Value |
|----------|-------|
| `DATABASE_URL` | `postgresql://app_{slug}:{password}@sota-pgbouncer-{slug}:5432/{slug}?sslmode=disable` |
| `PGHOST` | `sota-pgbouncer-{slug}` |
| `PGPORT` | `5432` |
| `PGUSER` | `app_{slug}` |
| `PGPASSWORD` | 32-hex-char auto-generated password |
| `PGDATABASE` | `{slug}` |

Usage by language:
- Node.js: `process.env.DATABASE_URL` (or `new Pool()` — node-postgres reads PG* vars automatically)
- Python: `os.environ['DATABASE_URL']` (or psycopg2 with individual PGHOST/PGPORT/PGUSER/PGPASSWORD/PGDATABASE)
- Go: `os.Getenv("DATABASE_URL")` (or pgx with empty DSN — reads PG* vars automatically)
- Django: configure via `dj-database-url` with DATABASE_URL, or set DATABASES using individual PG* vars

### Database Migrations

Your app must run migrations on startup — there is no shell access to containers. Chain the migration command before your server start:

- **Prisma**: Use `npx prisma db push && node server.js` as your start script. Note: use `db push` (not `migrate deploy`) because PgBouncer transaction mode blocks advisory locks.
- **Drizzle**: `npx drizzle-kit push && node server.js`
- **TypeORM**: `npx typeorm migration:run -d dist/data-source.js && node dist/server.js`
- **Sequelize**: `npx sequelize-cli db:migrate && node server.js`
- **Knex**: `npx knex migrate:latest && node server.js`
- **Django**: `python manage.py migrate --noinput && gunicorn myproject.wsgi --bind 0.0.0.0:$PORT`
- **Alembic**: `alembic upgrade head && uvicorn app.main:app --host 0.0.0.0 --port $PORT`

Common fix: If you see `prepared statement already exists`, add `?pgbouncer=true` to DATABASE_URL in your Prisma schema.

Full migration guide: https://sota.io/docs/guides/postgresql

## Deployment Process

1. Create a project → get a slug (e.g., `my-app`)
2. Deploy your source code (tar.gz upload, max 50 MB)
3. Platform auto-detects framework and builds a Docker image
4. Container starts with health checks (60s timeout)
5. Blue-green swap for zero downtime
6. App is live at `https://{slug}.sota.io`

Deployments use blue-green strategy — the old container keeps running until the new one is healthy. Instant rollback available to previous deployment.

## Environment Variables

- Set via API or CLI: `sota env set KEY=value`
- Encrypted at rest (AES-256-GCM), decrypted only at container runtime.
- Auto-injected: `PORT` (8080 for auto-detected frameworks, or from Dockerfile EXPOSE), `DATABASE_URL` + individual `PGHOST`, `PGPORT`, `PGUSER`, `PGPASSWORD`, `PGDATABASE` (managed PostgreSQL — all six are available).
- Changing env vars does NOT auto-redeploy — you must deploy again.
- For Next.js: `NEXT_PUBLIC_*` vars must be set BEFORE deploying (build-time).

## Webhooks

Subscribe to deployment events:
- `deploy.started` — Build has begun
- `deploy.succeeded` — Deployment is live and healthy
- `deploy.failed` — Build or health check failed

Payloads include HMAC-SHA256 signatures (`X-Sota-Signature` header).

## Custom Domains

Every project can have up to 5 custom domains with automatic HTTPS via Let's Encrypt.

- **Apex domains** (example.com): Add an A record pointing to `23.88.45.28` (edge proxy).
- **Subdomains** (app.example.com): Add a CNAME record pointing to `{slug}.sota.io`.
- SSL certificates are automatically provisioned via HTTP-01 challenge after DNS verification.
- Domain statuses: pending (waiting for DNS) → verified (SSL provisioning) → active (live with HTTPS).

API endpoints:
- `POST /v1/projects/:id/domains` — Add a custom domain (body: `{"domain": "app.example.com"}`)
- `GET /v1/projects/:id/domains` — List all custom domains
- `GET /v1/projects/:id/domains/:domainId` — Get domain with DNS instructions
- `DELETE /v1/projects/:id/domains/:domainId` — Remove a custom domain

## API

Base URL: `https://api.sota.io/v1`

Authentication (use one):
- API Key header: `Authorization: Bearer sota_...`
- Partner API Key: `Authorization: Bearer sotap_...`
- Supabase JWT: `Authorization: Bearer <jwt>`

Key endpoints:
- `POST /v1/projects` — Create project
- `GET /v1/projects` — List projects
- `DELETE /v1/projects/:id` — Delete project
- `POST /v1/projects/:id/deploy` — Deploy (multipart tar.gz upload)
- `POST /v1/projects/:id/redeploy` — Redeploy with current image + new env vars
- `POST /v1/projects/:id/rollback` — Rollback to previous deployment
- `GET /v1/projects/:id/deployments` — List deployments
- `GET /v1/projects/:id/deployments/:did/logs/stream` — Stream build logs (SSE)
- `POST /v1/projects/:id/envs` — Set environment variable
- `GET /v1/projects/:id/envs` — List environment variables
- `POST /v1/projects/:id/database` — Provision database (auto-provisioned on first deploy)
- `POST /v1/projects/:id/webhooks` — Register webhook

Rate limit: 100 requests/minute per user.

## Tools & SDKs

- **CLI**: `curl -fsSL https://sota.io/install.sh | sh` → `sota deploy`
- **TypeScript SDK**: `npm install @sota-io/sdk` — [npm](https://www.npmjs.com/package/@sota-io/sdk)
- **MCP Server**: `npx @sota-io/mcp` — AI agent integration via Model Context Protocol
- **GitHub**: https://github.com/sota-deploy

## MCP Server for AI Agents

Install: `npx @sota-io/mcp` (requires `SOTA_API_KEY` env var)

Available tools:
- `list-projects` — List all projects
- `create-project` — Create a new project (auto-provisions database)
- `delete-project` — Permanently delete a project
- `deploy` — Deploy source code from a directory
- `get-status` — Check deployment status and URL
- `get-logs` — View build and runtime logs
- `set-env` — Set an environment variable
- `get-env` — List environment variables
- `rollback` — Rollback to previous deployment
- `add-domain` — Add a custom domain with DNS instructions
- `list-domains` — List all custom domains
- `get-domain` — Get domain details and DNS instructions
- `remove-domain` — Remove a custom domain

## Typical AI Agent Workflow

1. `create-project` with a name → get project ID
2. Write application code (app must listen on PORT env var)
3. `deploy` with the project ID and source directory
4. `get-logs` to monitor build progress
5. `get-status` to verify deployment is "running"
6. App is live at the returned URL — database is ready via DATABASE_URL

## Platform Details

- **Hosting**: Hetzner Cloud, Germany (EU)
- **Compliance**: GDPR-compliant, data stays in EU
- **HTTPS**: Automatic via Let's Encrypt wildcard certificate
- **Isolation**: gVisor container sandboxing
- **Database**: PostgreSQL 17 with PgBouncer
- **Deploy strategy**: Blue-green, zero downtime
- **Max upload**: 50 MB (tar.gz archive)
- **Health check timeout**: 60 seconds
- **Container port**: 8080 default, auto-detected from Dockerfile EXPOSE for custom builds

## Documentation

- Full docs: https://sota.io/docs
- Getting started: https://sota.io/docs/getting-started/quickstart
- API reference: https://sota.io/docs/api/overview
- PostgreSQL guide: https://sota.io/docs/guides/postgresql
- Custom domains: https://sota.io/docs/guides/custom-domains
- SDK reference: https://sota.io/docs/sdk/overview
- MCP setup: https://sota.io/docs/mcp/setup
- Framework guides: https://sota.io/docs/guides/nextjs, /nodejs, /python

## sota.txt

You can place a `sota.txt` file in your project root to describe your app's purpose, tech stack, key endpoints, and conventions. AI agents (including this MCP server) will read it for context when deploying or modifying your project. See https://sota.io/docs/guides/sota-txt for the recommended format.

## Blog — Deployment Guides

RSS feed: https://sota.io/blog/feed.xml

- [Railway Alternative: EU-Native Hosting in 2026](https://sota.io/blog/railway-alternative-eu-hosting) — Why developers switch from Railway to sota.io for EU data residency and GDPR compliance.
- [Why EU Developers Are Leaving Vercel](https://sota.io/blog/eu-developers-leaving-vercel-eu-native-hosting) — GDPR requirements and EU data sovereignty are driving developers to EU-native PaaS platforms.
- [Deploy Node.js in 5 Minutes](https://sota.io/blog/deploy-nodejs-5-minutes) — No Dockerfile, no YAML, no DevOps. Deploy a Node.js app and get a live HTTPS URL in minutes.
- [Deploy Node.js to Europe in 60 Seconds](https://sota.io/blog/deploy-nodejs-europe-60-seconds) — EU-hosted Node.js with zero configuration. Step-by-step guide.
- [Deploy Next.js to Europe](https://sota.io/blog/deploy-nextjs-europe-eu-hosting) — EU hosting for Next.js with GDPR compliance, managed PostgreSQL, automatic TLS.
- [Deploy Python to Europe](https://sota.io/blog/deploy-python-europe-eu-hosting) — Flask, Django, and FastAPI on EU infrastructure. GDPR-compliant, managed PostgreSQL.
- [Deploy an AI Agent to Europe](https://sota.io/blog/deploy-ai-agent-europe) — Host Claude Code, LangChain, and LangGraph agents on EU infrastructure with GDPR-compliant data residency and managed PostgreSQL for agent memory.
- [Deploy Go to Europe](https://sota.io/blog/deploy-go-europe-eu-hosting) — Go microservices and APIs on EU infrastructure. Multi-stage Docker builds, pgx PostgreSQL, GDPR-compliant by default.
- [Deploy Rust to Europe](https://sota.io/blog/deploy-rust-europe-eu-hosting) — Axum, Actix-web, and Warp APIs on EU infrastructure. Multi-stage Docker builds, sqlx PostgreSQL, GDPR-compliant by default.
- [Deploy Deno 2.0 to Europe](https://sota.io/blog/deploy-deno-europe-eu-hosting) — Deno 2.0 and Fresh apps on EU infrastructure. Native TypeScript, Hono framework, managed PostgreSQL, GDPR-compliant by default.
- [Deploy PHP & Laravel to Europe](https://sota.io/blog/deploy-php-laravel-europe-eu-hosting) — Laravel and Symfony on EU infrastructure. GDPR-compliant, managed PostgreSQL, zero DevOps. The EU-native Laravel Cloud alternative.
- [Deploy .NET & ASP.NET Core to Europe](https://sota.io/blog/deploy-dotnet-aspnet-europe-eu-hosting) — ASP.NET Core and C# apps on EU infrastructure. Multi-stage Docker builds, Entity Framework + PostgreSQL, GDPR-compliant. The Azure-independent .NET PaaS for EU teams.
- [Deploy Java & Spring Boot to Europe](https://sota.io/blog/deploy-java-spring-boot-europe-eu-hosting) — Spring Boot and JVM apps on EU infrastructure. Multi-stage Docker builds, JPA/Hibernate + PostgreSQL, GDPR-compliant. The AWS Elastic Beanstalk alternative for EU enterprise teams.
- [Deploy Ruby on Rails to Europe](https://sota.io/blog/deploy-ruby-rails-europe-eu-hosting) — Rails and Ruby apps on EU infrastructure. Multi-stage Docker builds, Active Record + PostgreSQL, GDPR-compliant. The Heroku alternative for EU Rails developers.
- [Deploy Elixir & Phoenix to Europe](https://sota.io/blog/deploy-elixir-phoenix-europe-eu-hosting) — Elixir and Phoenix BEAM apps on EU infrastructure. Phoenix LiveView WebSockets, managed PostgreSQL, GDPR-compliant. The Fly.io and Gigalixir alternative for EU Elixir developers.
- [Deploy Bun to Europe](https://sota.io/blog/deploy-bun-europe-eu-hosting) — Bun JavaScript runtime and Hono apps on EU infrastructure. 4–5× faster than Node.js, built-in TypeScript, managed PostgreSQL, GDPR-compliant. The Oven.sh alternative for EU Bun developers.
- [Deploy Kotlin & Ktor to Europe](https://sota.io/blog/deploy-kotlin-ktor-europe-eu-hosting) — Kotlin and Ktor JVM apps on EU infrastructure. Android-native backend development, Exposed ORM + PostgreSQL, GDPR-compliant. The Heroku and AWS alternative for EU Kotlin developers.
- [Deploy Swift & Vapor to Europe](https://sota.io/blog/deploy-swift-vapor-europe-eu-hosting) — Swift Vapor 4 apps on EU infrastructure. Server-side Swift with managed PostgreSQL, Fluent ORM, GDPR-compliant. The ideal EU PaaS for iOS teams expanding to backend development.
- [Deploy Dart & Dart Frog to Europe](https://sota.io/blog/deploy-dart-flutter-backend-europe-eu-hosting) — Dart Frog apps on EU infrastructure. Full-stack Dart for Flutter teams, managed PostgreSQL, GDPR-compliant. Build Flutter frontends and Dart backends on the same EU platform.
- [Deploy Crystal & Kemal to Europe](https://sota.io/blog/deploy-crystal-kemal-europe-eu-hosting) — Crystal and Kemal apps on EU infrastructure. Ruby syntax with C-level performance, compile-time nil safety, GDPR-compliant hosting in Germany.
- [Deploy Haskell & Servant to Europe](https://sota.io/blog/deploy-haskell-servant-europe-eu-hosting) — Haskell Servant APIs on EU infrastructure. Type-safe REST APIs, GHC multi-stage Docker builds, managed PostgreSQL, GDPR-compliant. Ideal for EU fintech and trading systems.
- [Deploy Scala & Play Framework to Europe](https://sota.io/blog/deploy-scala-play-europe-eu-hosting) — Scala Play and ZIO apps on EU infrastructure. Functional JVM microservices, DACH enterprise fintech, managed PostgreSQL, GDPR-compliant.
- [Deploy F# & Giraffe to Europe](https://sota.io/blog/deploy-fsharp-giraffe-europe-eu-hosting) — F# Giraffe and Saturn APIs on EU infrastructure. Functional .NET for Nordics fintech and quantitative finance teams, type providers, Railway-Oriented Programming, GDPR-compliant.
- [Deploy Zig to Europe](https://sota.io/blog/deploy-zig-europe-eu-hosting) — Zig HTTP servers and microservices on EU infrastructure. Systems programming, IoT backends, C replacement services, GDPR-compliant hosting in Germany.
- [Deploy Clojure to Europe](https://sota.io/blog/deploy-clojure-europe-eu-hosting) — Clojure Ring, Reitit, and http-kit apps on EU infrastructure. Metosin ecosystem (Finnish EU-origin libraries), STM for financial systems, managed PostgreSQL, GDPR-compliant.
- [Deploy OCaml to Europe](https://sota.io/blog/deploy-ocaml-europe-eu-hosting) — OCaml and Dream Framework apps on EU infrastructure. INRIA-origin language (European by design), Jane Street-style finance backends, OCaml 5 multicore, managed PostgreSQL, GDPR-compliant.
- [Deploy Gleam to Europe](https://sota.io/blog/deploy-gleam-europe-eu-hosting) — Gleam and Wisp apps on EU infrastructure. Type-safe BEAM language (Ericsson Sweden heritage), fault-tolerant fintech backends, Klarna-style payment APIs, managed PostgreSQL, GDPR-compliant.
- [Deploy TypeScript & NestJS to Europe](https://sota.io/blog/deploy-typescript-nestjs-europe-eu-hosting) — NestJS and TypeScript APIs on EU infrastructure. Anders Hejlsberg (Danish) created TypeScript; Kamil Myśliwiec (Polish) created NestJS. GDPR-compliant, managed PostgreSQL.
- [Deploy Julia to Europe](https://sota.io/blog/deploy-julia-europe-eu-hosting) — Julia scientific computing backends on EU infrastructure. Bogumił Kamiński (Polish, DataFrames.jl) and Kristoffer Carlsson (Swedish, Pkg.jl) built Julia's EU ecosystem. GDPR-compliant.
- [Deploy Prolog to Europe](https://sota.io/blog/deploy-prolog-europe-eu-hosting) — SWI-Prolog web APIs on EU infrastructure. Alain Colmerauer (French, Marseille 1972) created Prolog; Jan Wielemaker (Dutch, VU Amsterdam) built SWI-Prolog. GDPR-compliant.
- [Deploy R to Europe](https://sota.io/blog/deploy-r-plumber-europe-eu-hosting) — R Plumber APIs and statistical backends on EU infrastructure. Martin Maechler (Swiss, ETH Zürich), Kurt Hornik (Austrian, WU Wien), Dirk Eddelbuettel (German, Rcpp) built R's EU core.
- [Deploy Groovy & Micronaut to Europe](https://sota.io/blog/deploy-groovy-micronaut-europe-eu-hosting) — Groovy and Micronaut JVM microservices on EU infrastructure. Guillaume Laforge (French, Groovy Project Lead), DACH enterprise tooling, managed PostgreSQL, GDPR-compliant.
- [Deploy Ada to Europe](https://sota.io/blog/deploy-ada-europe-eu-hosting) — Ada and Ada Web Services (AWS) on EU infrastructure. Jean Ichbiah (French, École Polytechnique) created Ada; AdaCore (Paris) maintains GNAT powering Airbus, ESA, French railways.
- [Deploy Fortran to Europe](https://sota.io/blog/deploy-fortran-europe-eu-hosting) — Fortran scientific computing backends on EU infrastructure. ECMWF (Bologna), DWD (Offenbach), Météo-France (Toulouse) run the world's most important Fortran code on EU infrastructure.
- [Deploy Common Lisp to Europe](https://sota.io/blog/deploy-common-lisp-europe-eu-hosting) — Common Lisp (SBCL, Hunchentoot) on EU infrastructure. Edmund Weitz (Hamburg) built Hunchentoot; Bruno Haible (Karlsruhe KIT) built CLISP. GDPR-compliant.
- [Deploy Eiffel to Europe](https://sota.io/blog/deploy-eiffel-europe-eu-hosting) — Eiffel and EWF web framework on EU infrastructure. Bertrand Meyer (Paris/ETH Zürich) created Eiffel and Design by Contract. GDPR-compliant.
- [Deploy Oberon to Europe](https://sota.io/blog/deploy-oberon-europe-eu-hosting) — Oberon and Modula-2 apps on EU infrastructure. Niklaus Wirth (ETH Zürich) created Pascal, Modula-2, and Oberon — the Swiss language family that influenced Go and TypeScript.
- [Deploy Agda to Europe](https://sota.io/blog/deploy-agda-europe-eu-hosting) — Agda-based formally verified backends on EU infrastructure. Ulf Norell (Chalmers University, Gothenburg) created Agda 2. GDPR-compliant.
- [Deploy Pony to Europe](https://sota.io/blog/deploy-pony-europe-eu-hosting) — Pony actor-model backends on EU infrastructure. Sylvan Clebsch (Imperial College London) created Pony with capability-based type safety that eliminates data races at compile time.
- [Deploy Standard ML to Europe](https://sota.io/blog/deploy-standard-ml-europe-eu-hosting) — Standard ML (PolyML, MLton) backends on EU infrastructure. Robin Milner (Edinburgh/Cambridge) created ML, the language that gave the world type inference and influenced OCaml and F#.
- [Deploy Pharo Smalltalk to Europe](https://sota.io/blog/deploy-pharo-smalltalk-europe-eu-hosting) — Pharo Smalltalk backends on EU infrastructure. Stéphane Ducasse (INRIA Lille) leads Pharo; Marcus Denker (INRIA) and Lukas Renggli (Univ. Bern) built core components. Live image modification without restart.
- [Deploy Racket to Europe](https://sota.io/blog/deploy-racket-europe-eu-hosting) — Racket and Typed Racket web backends on EU infrastructure. Matthias Felleisen (born Karlsruhe 🇩🇪, KIT-educated) created PLT Scheme/Racket; DrRacket is used in CS education at TU Delft, Edinburgh, KTH Stockholm, and dozens of EU universities.
- [Deploy Idris 2 to Europe](https://sota.io/blog/deploy-idris-europe-eu-hosting) — Idris 2 dependently typed backends on EU infrastructure. Edwin Brady (University of St Andrews / Edinburgh 🏴󠁧󠁢󠁳󠁣󠁴󠁿) created Idris 2 using Quantitative Type Theory with Conor McBride and Robert Atkey (University of Strathclyde, Glasgow). TYPES EU consortium.
- [Deploy Curry to Europe](https://sota.io/blog/deploy-curry-europe-eu-hosting) — Curry functional logic programming backends on EU infrastructure. Michael Hanus (CAU Kiel 🇩🇪) created Curry, unifying Haskell-style functional programming with Prolog-style logic programming. Built on Alain Colmerauer's Prolog (Université de Marseille 🇫🇷).
- [Deploy Haxe to Europe](https://sota.io/blog/deploy-haxe-europe-eu-hosting) — Haxe multi-target backends on EU infrastructure. Nicolas Cannasse 🇫🇷 created Haxe at Motion Twin in Bordeaux — one language compiling to JS, C++, Java, Python, C#. Dead Cells (5M+ sold) proves production readiness. GDPR-compliant.
- [Deploy Clean to Europe](https://sota.io/blog/deploy-clean-europe-eu-hosting) — Clean purely functional backends on EU infrastructure. Rinus Plasmeijer 🇳🇱 (Radboud University Nijmegen) created Clean — the language that invented uniqueness types before Rust, powering Dutch government workflow systems via iTasks. GDPR-compliant.
- [Deploy Oz/Mozart to Europe](https://sota.io/blog/deploy-oz-mozart-europe-eu-hosting) — Oz/Mozart multi-paradigm backends on EU infrastructure. Peter Van Roy 🇧🇪 (UCLouvain) and Seif Haridi 🇸🇪 (KTH Stockholm) created Mozart/Oz: functional + OOP + concurrent + constraint programming in one language, born from a European multi-institution research collaboration.
- [Deploy Jolie to Europe](https://sota.io/blog/deploy-jolie-europe-eu-hosting) — Jolie microservice-native backends on EU infrastructure. Fabrizio Montesi 🇮🇹 (University of Southern Denmark, Odense) created Jolie — the language where every program IS a microservice, built on choreographic programming theory with ERC funding. GDPR-compliant.
- [Deploy Alice ML to Europe](https://sota.io/blog/deploy-alice-ml-europe-eu-hosting) — Alice ML concurrent functional backends on EU infrastructure. Andreas Rossberg 🇩🇪 (Universität des Saarlandes → Google WebAssembly → MPI-SWS Kaiserslautern) created Alice ML: Standard ML extended with first-class futures, lazy evaluation, and Oz-style dataflow concurrency as native language constructs. GDPR-compliant.
- [Deploy Mercury to Europe](https://sota.io/blog/deploy-mercury-europe-eu-hosting) — Mercury logic-functional backends on EU infrastructure. Zoltan Somogyi 🇭🇺🇦🇺 (University of Melbourne) created Mercury: pure logic programming with Haskell-style types and determinism modes (det/semidet/nondet/multi) — built on European LP research from Colmerauer (Marseille), Warren (Edinburgh/Bristol), and Maluszynski (Linköping). GDPR-compliant.
- [Deploy Chapel to Europe](https://sota.io/blog/deploy-chapel-europe-eu-hosting) — Chapel parallel HPC backends on EU infrastructure. Brad Chamberlain (Cray/HPE) created Chapel as part of the DARPA HPCS program: locales, domains, and distributed data structures as first-class language features. Validated at PRACE EU HPC centres (HLRS Stuttgart, BSC Barcelona, CINECA, FZJ Jülich) and EuroHPC systems. GDPR-compliant.
- [Deploy Lean 4 to Europe](https://sota.io/blog/deploy-lean4-europe-eu-hosting) — Lean 4 proof assistant + functional language backends on EU infrastructure. Leonardo de Moura (Microsoft Research) created Lean 4: dependently typed language unifying formal verification with practical programming. Mathlib (200k+ theorems, EU researchers). Sebastian Ullrich 🇩🇪 (KIT) led implementation. EU AI Act Article 13 compliance via machine-checked proofs. GDPR-compliant.
- [Deploy Elm to Europe](https://sota.io/blog/deploy-elm-europe-eu-hosting) — Elm purely functional frontend apps on EU infrastructure. Evan Czaplicki created Elm at Harvard and refined it at Prezi 🇭🇺 (Budapest): algebraic types and exhaustive pattern matching make runtime exceptions structurally impossible. Amsterdam Elm Conference, Oslo Elm Day. EU fintech (MiFID II/PSD2) and medtech (MDR/IVDR) compliance frontends. GDPR-compliant.
- [Deploy PureScript to Europe](https://sota.io/blog/deploy-purescript-europe-eu-hosting) — PureScript strictly typed compile-to-JS backends on EU infrastructure. Phil Freeman 🇬🇧 created PureScript in 2013: stricter-than-Haskell functional language with row polymorphism and explicit effect types (Effect/Aff). Harry Garrood 🇬🇧 (Edinburgh) built Pursuit documentation search. Christoph Hegemann 🇩🇪 built psc-ide tooling. No runtime exceptions from pure code. GDPR-compliant.
- [Deploy D Language to Europe](https://sota.io/blog/deploy-d-language-europe-eu-hosting) — D language (dlang) vibe.d backends on EU infrastructure. Walter Bright 🇺🇸 created D; Andrei Alexandrescu 🇷🇴 (Romanian, D co-designer, author of 'The D Programming Language') shaped D's metaprogramming model. Martin Nöhring 🇩🇪 (Sociomantic Berlin) co-founded the D Language Foundation and ran D in large-scale EU AdTech production. vibe.d async HTTP framework, LDC/LLVM compiler, @safe/@nogc for GDPR-compliant systems backends. GDPR-compliant.
- [Deploy Vala to Europe](https://sota.io/blog/deploy-vala-gnome-europe-eu-hosting) — Vala GNOME-native backends on EU infrastructure. Jürg Billeter 🇨🇭 (Swiss, GNOME Project) created Vala in 2006: compiles-to-C language with object-oriented programming, async/await, and GLib/GObject integration — zero runtime VM. Emmanuele Bassi 🇮🇹 (GNOME Foundation) and Luca Bruno 🇮🇹 shaped the language's evolution. libsoup HTTP server, GLib event loop, D-Bus/systemd integration. GDPR-compliant.
- [Deploy Raku to Europe](https://sota.io/blog/deploy-raku-perl6-europe-eu-hosting) — Raku (Perl 6) Cro HTTP backends on EU infrastructure. Jonathan Worthington 🇬🇧 (UK, edument Sweden 🇸🇪) built MoarVM (Raku VM) and the Cro HTTP framework: async HTTP/2, WebSocket, TLS using Raku's supply/react concurrency model. Carl Mäsak 🇸🇪 (Swedish, Raku Advent Calendar) shaped the European Raku community. Built-in grammar system (PEG parsers as language constructs), gradual typing, multiple dispatch, hyperoperators. GDPR-compliant.
- [Deploy Futhark to Europe](https://sota.io/blog/deploy-futhark-gpu-europe-eu-hosting) — Futhark GPU array computing backends on EU infrastructure. Troels Henriksen 🇩🇰 (Danish, DIKU Copenhagen) created Futhark: purely functional array language with automatic parallelisation to GPU kernels (CUDA/OpenCL) and multicore CPU. Martin Elsman 🇩🇰 and Cosmin Oancea 🇷🇴 at DIKU co-developed the size-polymorphic type system and flattening transformation. EU-origin GPU language. Python bindings (FastAPI integration), automatic differentiation, GDPR-compliant pure function isolation.
- [Deploy Koka to Europe](https://sota.io/blog/deploy-koka-europe-eu-hosting) — Koka algebraic effects language backends on EU infrastructure. Daan Leijen 🇳🇱 (Dutch, Microsoft Research) created Koka: a purely functional language where all side effects are tracked in the type system via algebraic effects. Effect types make data exfiltration compile-time impossible. Gordon Plotkin 🇬🇧 (Edinburgh) and Matija Pretnar 🇸🇮 (Ljubljana) developed algebraic effects theory. Perceus reference counting eliminates GC pauses. Node.js and C backends. GDPR-compliant by type system design.
- [Deploy Eff to Europe](https://sota.io/blog/deploy-eff-language-europe-eu-hosting) — Eff algebraic effects language backends on EU infrastructure. Andrej Bauer 🇸🇮 and Matija Pretnar 🇸🇮 (University of Ljubljana) created Eff in 2011 — the first practical programming language with algebraic effects and handlers. ERC-funded EU research. Delimited continuations enable non-determinism, backtracking, and cooperative concurrency as plain handlers. Direct theoretical predecessor of Koka, Frank, and Effekt. OCaml backend, Dream HTTP. Ljubljana–Edinburgh axis. GDPR-compliant.
- [Deploy Red to Europe](https://sota.io/blog/deploy-red-language-europe-eu-hosting) — Red fullstack native language backends on EU infrastructure. Nenad Rakočević 🇷🇸 (Serbian, Belgrade, EU accession candidate country) created Red in 2011: REBOL-inspired fullstack language that compiles to self-contained native binaries without any runtime VM. Single-binary Docker deployment (30–50 MB images). Built-in Parse dialect (PEG parser as language feature) for GDPR-compliant data processing pipelines. Red/System C-level sublanguage for performance-critical paths. Homoiconic design — code is data. Cross-platform native compilation (Linux/Windows/macOS/Android). GDPR-compliant.
- [Deploy to Europe: All 59 Languages](https://sota.io/blog/deploy-to-europe-all-languages) — Complete deployment guide for 59 programming languages on EU infrastructure. Node.js, Python, Go, Rust, Java, Kotlin, Swift, OCaml, PHP, Ruby, .NET, Elixir, Deno, Bun, Dart, Crystal, Haskell, Scala, F#, Zig, Clojure, Racket, Idris, Curry, Haxe, Clean, Oz/Mozart, Alice ML, Mercury, Chapel, Lean 4, Elm, PureScript, D, Vala, Raku, Futhark, Koka, Eff, Red, Ada, Fortran, Julia, R, Standard ML, Gleam, Agda, Pony, Eiffel, Oberon, TypeScript/NestJS, and more.