A secure web framework, built in the Idris language. - View it on GitHub