GitHub repository: zickgraf/IntrinsicModules
Description: Finitely presented modules over computable rings allowing multiple presentations and the notion of elements