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