Lithe v0.1.0

Initial Release

A lightweight web framework for Lean 4.

Features

• Axum-inspired router with path parameters and query parsing
• Type-safe extractors: JSON, Form, Path, Query, Headers, Auth, State
• Middleware: CORS, CSRF, rate limiting, timeouts, logging, metrics
• Streaming: SSE, WebSocket, chunked responses
• SQLite integration

Installation

require lithe from git "https://github.com/JoshuaPurtell/lithe" @ "v0.1.0"

Requires Lean 4.27.0+