Stellar

A library for API programming in Idris 2. Build interactive programs declaratively by composing APIs — HTTP, databases, RPC, the file system and more — with dependent types.

Read the Documentation View on GitLab

One model for every API

Compose APIs

Every API is a request/response pair. Translate between them with dependent lenses (container morphisms) and pipe whole programs together.

Many backends

HTTP (Node & Scheme), SQL, the file system, optics, a browser backend and an MCP server all share the same API abstraction.

Typed end to end

Dependent types describe exactly which responses a request admits, catching mismatches at compile time instead of at runtime.

Ready to dive in?

Learn the core idea, explore the modules, and see how Stellar composes APIs into a single pipeline.

Browse the Documentation