theweirdsumerah / Productivity-Tracker Star 1 Code Issues Pull requests Productivity Tracker System sdp software-development bubt wafi monira sumerah easin alif Updated Jun 11, 2024 C++
AnmiTaliDev / alif Star 0 Code Issues Pull requests A formal proof verifier for propositional and first-order logic. rust proof logic formal verifier alif Updated Mar 22, 2026 Rust
edgeimpulse / firmware-alif-csolution Star 0 Code Issues Pull requests Edge Impulse machine learning firmware for Alif AppKit gen2 csolution alif Updated Jan 28, 2026 C
iskepr / AlifWeb Star 0 Code Issues Pull requests لغة برمجة الف للويب web arabic alif Updated Jul 13, 2025 JavaScript
iskepr / AlifLib Star 0 Code Issues Pull requests مدير مكتبات لغة البرمجة العربية ألف libraries arabic alif Updated May 1, 2025 JavaScript
iskepr / alifHijre Star 0 Code Issues Pull requests مكتبة التاريخ الهجري في لغة الف arabic hijri-calendar alif Updated Jul 5, 2025