C++ libraries for manipulations in non-Euclidean geometry
A Python library for solving geometric constraint problems
NO LONGER MAINTAINED
Record which book you read , how many page , status , progress and mor
Complete tool for constructing/manipulating languages in digital form
Open source library software (books); command line only
An institutitutional repository to manage publications