C++ libraries for manipulations in non-Euclidean geometry
Facebook AI research's automatic speech recognition toolkit
Acoustic Simulation Library for Frequency and Time Domain Simulations.
A system for computer algebra and symbolic mathematics
Power flow library in C++