Directory
Published directory entries matching your search.
Software Foundations is a series introducing the mathematical foundations of reliable software. Each volume's text and exercises are formalized as a proof script for the Rocq proof assistant. It targets readers from advanced undergraduates to researchers; no background in logic or programming languages is assumed.
A platform-agnostic specification of the technical features a good website should have, built in the open under an MIT licence. It covers 177 topics across ten areas, including foundations, SEO, accessibility, security, performance and privacy, and offers a yes/no checklist for auditing a site. An open, read-only MCP server lets agents query the specification.
