Skip to content
View Momen-G-Ar's full-sized avatar
46 followers · 56 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Block or report Momen-G-Ar

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Momen-G-Ar/README.md

Hello there πŸ‘¨β€πŸ’»

πŸ“„ About Me

  • πŸ‘‹ I'm Momin Arafa, a C/C++ Software Engineer based in Hebron, Palestine
  • βš™οΈ R&D Software Engineer at Cadence (via ASAL Technologies) on the Jasper C team (Jasper Formal Verification), working on two apps:
    • CAF (C Auto Formal): formally finds linting violations in SystemC/C/C++ code
    • C2RTL: C/C++ to RTL equivalence checking
  • πŸ› οΈ I work on a custom compiler: static analysis, compiler design, and lint rules for SystemC code
  • πŸŽ“ B.Sc. in Computer Systems Engineering from Palestine Polytechnic University, top 1% of my class
  • πŸ† ACPC 2022 finalist, competitive programming coach and problem setter
  • 🌱 Currently deepening my knowledge of compilers and formal verification

πŸ’Ό Experience

  • Cadence (via ASAL Technologies) Β· C/C++ Software Engineer Β· May 2025 – present
  • Sol (Ψ­Ω„) Β· Software Engineer Β· Feb – May 2025 Β· React + Electron desktop apps with SQLite
  • AHL Logics Β· Software Engineering Intern Β· Jan – Sep 2024 Β· React Native app with an Express.js / MongoDB back end

πŸš€ Featured Projects

  • Cruise Master: autonomous-driving car prototype using CNNs, YOLO and OpenCV (graduation project)
  • QPAY: point-of-sale web app built with a 4-person agile team (React, Express, MongoDB)
  • U-TECH League 2024: AI chatbot built on Azure OpenAI (Microsoft Γ— FINOMENA hackathon)

πŸ† Competitive Programming

  • πŸ₯‡ ACPC 2022 finalist Β· PCPC 2023: 10th of 70+ teams Β· PPU CPC 2023: 2nd place
  • πŸ’‘ IEEEXtreme 18: 1st of 31 at PPU, 11th of 140 in Palestine
  • ✍️ Problem setter & coordinator for PPU CPC 2026, Hebron Code Jam qualifiers, and "Code it Palestinian"
  • πŸ§‘β€πŸ« Coach of PPU teams at PCPC and ACPC; former co-president of Code Academy (PPU coding club)

πŸ“ˆ Quick Overview

Momin's GitHub stats Momin's top languages

Momin's GitHub streak

πŸ› οΈ Languages and Tools

Systems: C Β· C++ Β· Python Β· Compilers Β· Static Analysis Β· Formal Verification

Systems tools

Web & Mobile: JavaScript Β· TypeScript Β· React Β· React Native Β· Redux Β· Node.js Β· Express Β· MongoDB Β· SQLite Β· Electron

Web tools

πŸ‘¨β€πŸ’» Coding Profiles

Momin Arafa on Codeforces Β Β  Momin Arafa on LeetCode

πŸ“± Contact Me

Momin Arafa on LinkedIn Momin Arafa on Telegram Momin Arafa on Instagram Momin Arafa on Facebook

Pinned Loading

  1. pseu-point-of-sale-api pseu-point-of-sale-api Public

    An API to handle the requests of the POS UI and connect it with Database

    TypeScript 1 1

  2. digital-address-book digital-address-book Public

    A System to automate the process of saving your contacts in an Address Book by specifying all information needed with the easy ability to search on each one of them

    Java

  3. nutritionist-manager-ui nutritionist-manager-ui Public

    A System to automate the process of making a diet and food programs for the client of a nutrition clinic

    JavaScript

  4. nutritionist-manager-api nutritionist-manager-api Public

    An API to handle the requests of the Nutritionist Manager UI and connect it with Database

    TypeScript

  5. lana-qawasmy/pseu-point-of-sale-ui lana-qawasmy/pseu-point-of-sale-ui Public

    This is the UI of the Qpay website that is handled by API to provide a way to manage a point of sale.

    TypeScript 1 1

  6. cpu-scheduling-algorithms cpu-scheduling-algorithms Public

    A program to simulate the CPU scheduling algorithms with Gantt Chart for each of them

    C++