المعروف بالسمانودي وأيضا الحفناوي عاش في القرن 13 هـ

(انظر: البغدادي ذيل كشف الظنون 1/ 238؛ كحالة معجم المؤلفين 1/ 114)

من تصانيفه:

1 - تحفة الأحباب وبغية الطلاب في توضيح أعمال الحساب = شرح مختصر ابن الهائم لكتاب تلخيص أعمال الحساب لابن البناء

بلدية الإسكندريّة 1034/ ج ورقة 81 كتبت في القرن 14 هـ؛

238 - إبراهيم بن مصطفى بن إبراهيم برهان الدين أبو الصفاء الحلبي الحنفي المداري الأديب المحدث في شبكة آياصوفيا المعروف بالداري وأيضا الحلبي المتوفى بإستانبول سنة 1190/ 1776

(انظر: هدية العارفين 1/ 39؛ ذيل كشف الظنون 1/ 240 , 419؛ معجم المؤلفين 1/ 112؛ سجلّ عثماني 1/ 136؛ قاموس الأعلام 1/ 568)

من تصانيفه:

1 - تحفة الأخيار تعليقات على الدرّ المختار شرح تنوير الأبصار - في الفقه الحنفي

قيصرى راشد أفندى 26426 ورقة 329؛ الظاهريّة الفقه الحنفى 11137 , ورقة 352؛ 1165 هـ؛ رقم 5246 , ورقة 607؛ 1175 هـ؛ رقم 8191 , ورقة 378 - 140؛ 1205 هـ؛ رقم 9153؛ 6644؛ 8441؛ أمانت خزينه سى رقم 749, ورقة 690؛ مكتبة الأوقاف العامّة 4051 ورقة 325؛ أسعد أفندي 604؛ دار الكتب الوطنيّة بتونس 7073 - 7074 جزء 1 - 2 ورقة 289+ 327؛ رقم 7476 جزء 1 ورقة 328؛ رقم 7477 جزء 2 ورقة 317, 1152 هـ؛ المكتبة الأحمدية بحلب فقه 489 ورقة 741, 1173 هـ؛

2 - الحلة الصافية في علمي العروض والقافية

أمانت خزينه سي 1519 ورقة 49؛

3 - حواش على رقائق الحقائق في حساب الدرج والدقائق لسبط المارديني

حميديه 873/ 2 ورقة 26 - 64؛ 1176 هـ؛ أسعد أفندي 1953 ورقة 15 - 76 كتبت في القرن 13 هـ؛ دار الكتب المصريّة ميقات 877 ورقة 22 كتبت في القرن 12 هـ؛

4 - رسالة في كيفية استخراج عدة الاحتمالات التركيبية من أيّ عدد كان - في الحساب

Muradiye رقم 5345/ 2 ورقة 29 - 41، 1178 هـ؛ حميديه رقم 873/ 3 ورقة 68 - 86، 1176 هـ؛ قصيده جي زاده رقم 679 ورقة 41 - 63 , 1173 هـ؛ جامعة إستانبول 2895 ورقة 100 - 112 كتبت في القرن 12 هـ؛

5 - رسالة في الأوزان والمكاييل - في الحساب

Garrett 1062 ورقة 11 - 16 كتبت في القرن 12 هـ؛

6 - رسالة في فنّ الهندسة

محمد عاصم رقم 709/ 6 ورقة 50 - 55 بخطّ المؤلّف؛ عارف حكمت 144/ 3: صفحة 18؛

7 - سلك النطام في شرح جواهر الكلام

أمانت خزينه سي 865 ورقة 275، 1152 هـ؛ Laleli رقم 2279؛

8 - شرح الحاوي في الحساب لابن الهائم

برتونهال رقم ورقة 750, 1192 هـ؛ دار الكتب المصريّة رياضة 667 صفحة 172 , 1192 هـ؛ أسعد أفندي 3480/ 3 , ورقة 6 - 75 كتب في القرن 12 هـ؛ يازمه باغشلر 2061 ورقة 77 كتب في القرن 12 هـ؛ قونيه يوسف آغا 5270 ورقة 88 , 1189 هـ؛ Muradiye رقم 5345/ 3 ورقة 41 - 97؛ 1178 هـ؛ حميديه رقم 873/ 4 ورقة 87 - 173؛ 1176 هـ بخطّ المؤلّف؛ عارف حكمت بيك رقم 2847 صفحة 104, 1178 هـ؛ المتحف العراقى 2610/ 2