th-cas (hackage): Compile-time CAS(Computer Algebra System)
Keywords: library|math|mit|numeric