GitHub repository: uwplse/Cassius
Primary language: Racket
Description: A CSS specification and reasoning engine