Moved to the official repo: https://github.com/starfederation/datastar-lean
datastar0.1.0
Lean 4 SDK for Datastar: real-time hypermedia over server-sent events.
datastar0.1.0Moved to the official repo: https://github.com/starfederation/datastar-lean