Skip to main content
Osprey
  • Docs
  • Playground
  • Blog
  • GitHub
Discord
Documentation

Start here

  • Documentation home
  • Algebraic effects
  • Same model on CPU or GPU
  • Installation
  • My First App

Python

  • Python flavor
  • Python interop
  • Python flavor for AI agents

Tutorials

  • All tutorials
  • CPU profiler
  • Osprey and Swift (video)

Proofs

  • Proof video learning paths
  • Proof Workbench
  • Mathlib port progress

Build applications

  • Osprey Native
  • Web apps
  • iOS and Android apps
  • Mac and iPhone apps
  • WebAssembly studio
  • Playground
  • Document your modules
  • Hunt for bugs

Packages

  • Package manager
  • Packages in VS Code
  • @osprey/json API
  • Package specification

Language

  • Language specification
  • Keywords
  • Reactive signals
  • Feature status

Reference

  • API overview
  • Functions
  • Types
  • Operators
  • Benchmarks
  • Releases
  • Credits
Browse documentation
Start here
  • Documentation home
  • Algebraic effects
  • Same model on CPU or GPU
  • Installation
  • My First App
Python
  • Python flavor
  • Python interop
  • Python flavor for AI agents
Tutorials
  • All tutorials
  • CPU profiler
  • Osprey and Swift (video)
Proofs
  • Proof video learning paths
  • Proof Workbench
  • Mathlib port progress
Build applications
  • Osprey Native
  • Web apps
  • iOS and Android apps
  • Mac and iPhone apps
  • WebAssembly studio
  • Playground
  • Document your modules
  • Hunt for bugs
Packages
  • Package manager
  • Packages in VS Code
  • @osprey/json API
  • Package specification
Language
  • Language specification
  • Keywords
  • Reactive signals
  • Feature status
Reference
  • API overview
  • Functions
  • Types
  • Operators
  • Benchmarks
  • Releases
  • Credits

Specifications / Language

Staged effects — consolidated

Stage, multiplicity and replay are part of the single Algebraic Effects specification. Delivery and evidence are maintained in plan 0016.

Start

  • Installation
  • My First App
  • Try Online

Learn

  • Documentation
  • Video Tutorials
  • Proofs and Mathematics
  • Algebraic Effects
  • Python Flavor
  • Package Manager
  • Web Apps Guide
  • Mobile Apps Guide
  • Feature Status
  • Specification

Community

  • Blog
  • Announcements and credits
  • Discord
  • GitHub
  • Issues

Built by

  • Nimblesite
  • Christian Findlay

© 2026 Osprey