10Web & Networking

24 entries

LeanIOHTTP router for Std.Http with compile-time checked routes, JSON handling and middleware.ecyrbe/leanio
LeanTEAFull-stack web and TUI framework based on The Elm Architecture.Verilean/lean-tea
lean-htmlTyped HTML5 (lean-htmx adds typed hx-* attributes).paulbutcher/lean-html
lean-routingTyped router and route table.paulbutcher/lean-routing
lean-middlewareSessions, sealed cookie store, anti-forgery, static files and request tracing.paulbutcher/lean-middleware
lean-formsWeb forms library.paulbutcher/lean-forms
lean-authenticationMagic-link authentication, sessions and rate limiting.paulbutcher/lean-authentication
datastar-leanDatastar SDK for Lean.saviorand/datastar-lean
LeanRPCExpose Lean functions as JSON-RPC endpoints over HTTP with @[rpc].oOo0oOo/LeanRPC
litheSimple web service framework.JoshuaPurtell/lithe

socket.leanBSD socket bindings.hargoniX/socket.lean
http2-leanHTTP/2 protocol foundation and managed transports.pb64-lean/http2-lean
ws-leanWebSocket protocol and networking library.pb64-lean/ws-lean
tls13-leanTLS 1.3 client and server built on HACL* verified crypto primitives.pb64-lean/tls13-lean
grpc-leanProtobuf code generation and a gRPC client/server runtime.pb64-lean/grpc-lean
lean-grpcPure Lean gRPC stack (HTTP/2, HPACK, gRPC).RileyBetts/lean-grpc
leancurllibcurl bindings (see also leanCurl).paulbutcher/leancurl
lean-llmclientProvider-agnostic LLM chat client with tool calling.paulbutcher/lean-llmclient
lean-mcpModel Context Protocol server library for writing MCP servers in Lean.paulbutcher/lean-mcp

lean-awsAWS SigV4 signing (lean-aws-lambda implements the Lambda runtime interface).paulbutcher/lean-aws
lean-telemetryOpenTelemetry traces and logs.paulbutcher/lean-telemetry
otel-leanOpenTelemetry logs API, proved batch SDK and OTLP exporters.pb64-lean/otel-lean
infraTerraform-style infrastructure as code with dependent types.typednotes/infra
iam-leanFormal models of AWS IAM policies (catalog).sufield/iam-lean