GitHub repository: kovzol/tarski
Description: A system for computing with Tarski Formulas / Semi-Algebraic Sets.