مصنفاته:
ترك لنا ابن الهائم عشرات المصنفات التي دبجها قلمه، منها ما أنجزه في حياته، ومنها ما لم يقدر الله له أن يكملها.
أولا: فمن المؤلفات التي أكملها:
1- التبيان في تفسير غريب القرآن. وهو كتابنا الذي نقدمه للقراء.
2- التحرير لدلالة نجاسة الخنزير (الضوء اللامع 2/ 157، طبقات المفسرين 1/ 83، إيضاح المكنون 1/ 233، هدية العارفين 1/ 120) .
3- 5- تحفة الطلاب في نظم قواعد الإعراب لابن هشام (أرجوزة) (الضوء اللامع 2/ 158، كشف الظنون 124، هدية العارفين 1/ 120) .
وقد قام المؤلف بشرح نظمه مرتين: أحد الشرحين مطول، والآخر مختصر (الضوء 2/ 158، وطبقات المفسرين 1/ 12) .
6- التحفة القدسية في أخبار الرجبية (نظم في الفرائض) (الضوء اللامع 2/ 157، طبقات المفسرين 1/ 82، هدية العارفين 1/ 20، كشف الظنون 372 وفيه «اختصرها من الرجبية» . واسمه في الضوء اللامع، وطبقات المفسرين «النفحة القدسية» وممن شرحها زكريا الأنصاري (كشف الظنون 372، وبروكلمان ق 6/ 519) وكذلك سبط المارديني (بروكلمان ق 6/ 519) وإبراهيم بن محمد المري (طبقات المفسرين 1/ 17) .
7- تحقيق المعقول والمنقول في نفي الحكم الشرعي عن الأفعال قبل بعثة الرسول (الضوء 2/ 158، طبقات المفسرين 1/ 82، البدر 1/ 147 وفيه «في رفع الحكم» ، هدية العارفين 1/ 120) .
8- ترغيب الرائض في علم الفرائض (الضوء 2/ 157، طبقات المفسرين 1/ 82، إيضاح المكنون 1/ 282، هدية العارفين 1/ 120، بروكلمان ق 6/ 518، وذكر أنه علق عليه سبط المارديني وزكريا الأنصاري) .
9- الجمل الوجيزة في الفرائض (الضوء 2/ 157، البدر 1/ 117) .
10- الحاوي في الحساب (كشف الظنون 629 وذكر أنه توفي سنة 927 كما ذكر أن أحمد بن صدقة الصديقي نظمه، وفي طبقات المفسرين في ترجمة أحمد بن