GitHub repository: pioneers/axiom
Primary language: Ruby
Description: Kind of like a postulate.