مصنفاته :
ترك لنا ابن الهائم عشرات المصنفات التي دبجها قلمه ، منها ما أنجزه في حياته ، ومنها ما لم يقدر الله له أن يكملها.
أولا : فمن المؤلفات التي أكملها :
١ ـ التبيان في تفسير غريب القرآن. وهو كتابنا الذي نقدمه للقراء.
٢ ـ التحرير لدلالة نجاسة الخنزير (الضوء اللامع ٢ / ١٥٧ ، طبقات المفسرين ١ / ٨٣ ، إيضاح المكنون ١ / ٢٣٣ ، هدية العارفين ١ / ١٢٠).
٣ ـ ٥ ـ تحفة الطلاب في نظم قواعد الإعراب لابن هشام (أرجوزة) (الضوء اللامع ٢ / ١٥٨ ، كشف الظنون ١٢٤ ، هدية العارفين ١ / ١٢٠).
وقد قام المؤلف بشرح نظمه مرتين : أحد الشرحين مطول ، والآخر مختصر (الضوء ٢ / ١٥٨ ، وطبقات المفسرين ١ / ١٢).
٦ ـ التحفة القدسية في أخبار الرجبية (نظم في الفرائض) (الضوء اللامع ٢ / ١٥٧ ، طبقات المفسرين ١ / ٨٢ ، هدية العارفين ١ / ٢٠ ، كشف الظنون ٣٧٢ وفيه «اختصرها من الرجبية». واسمه في الضوء اللامع ، وطبقات المفسرين «النفحة القدسية» وممن شرحها زكريا الأنصاري (كشف الظنون ٣٧٢ ، وبروكلمان ق ٦ / ٥١٩) وكذلك سبط المارديني (بروكلمان ق ٦ / ٥١٩) وإبراهيم بن محمد المري (طبقات المفسرين ١ / ١٧).
٧ ـ تحقيق المعقول والمنقول في نفي الحكم الشرعي عن الأفعال قبل بعثة الرسول (الضوء ٢ / ١٥٨ ، طبقات المفسرين ١ / ٨٢ ، البدر ١ / ١٤٧ وفيه «في رفع الحكم» ، هدية العارفين ١ / ١٢٠).
٨ ـ ترغيب الرائض في علم الفرائض (الضوء ٢ / ١٥٧ ، طبقات المفسرين ١ / ٨٢ ، إيضاح المكنون ١ / ٢٨٢ ، هدية العارفين ١ / ١٢٠ ، بروكلمان ق ٦ / ٥١٨ ، وذكر أنه علق عليه سبط المارديني وزكريا الأنصاري).
٩ ـ الجمل الوجيزة في الفرائض (الضوء ٢ / ١٥٧ ، البدر ١ / ١١٧).
١٠ ـ الحاوي في الحساب (كشف الظنون ٦٢٩ وذكر أنه توفي سنة ٩٢٧ كما ذكر أن أحمد بن صدقة الصديقي نظمه ، وفي طبقات المفسرين في ترجمة أحمد بن