C++ libraries for manipulations in non-Euclidean geometry
An interactive program for statistical analysis of texts
Zettel allows taking notes from several references and organizing them
A Python library for solving geometric constraint problems
is a rich dictionary containing multiple computer-related terms
Acoustic Simulation Library for Frequency and Time Domain Simulations.
An institutitutional repository to manage publications