Flexbox Froggy teaches Flexbox layout through interactive challenges with cute frogs. Flexbox Zombies offers a fun way to learn Flexbox with zombie-themed challenges and advice. CSSBattle challenges ...

Abstract: Refinement types can be the vector that brings formal verification into mainstream software development. This happy outcome hinges upon the design and implementation of refinement type ...

Welcome. This repository contains a Quarto book that connects biological mechanism to the matrix algebra used in modern quantitative genetics. Most resources jump straight to (y = Xb + Zu + e). This ...