C++ libraries for manipulations in non-Euclidean geometry
A Python library for solving geometric constraint problems
An E-book, Audio-book, & Library Loader in One Application
Complete tool for constructing/manipulating languages in digital form
Automatic Units and Scale calculation in Python