NOTE: Freya (and associated component libraries) has been archived for now. The ideas in Freya are still more than worthy of investigation, but the community adopted more conventional approaches to web development, making maintenance for Freya a challenge. For those who used Freya and contributed thoughts, encouragement, and code, thank you!
The ideas in Freya may well be resurrected at a later date, possibly on other platforms...
Freya Machines provide strongly type high-level abstractions over common web logic requirements. In particular, the Freya HTTP Machine provides a powerful way to model and deploy HTTP resources, adhering to web standards closely and providing reasonable assurances of functional safety and correctness.
For more information see the meta-repository for the Freya Web Stack, along with the main freya.io site.