Joey Heifetz
👨💻 Developer • Researcher • Builder
"I like making stuff up and putting it on the internet. Just like Netscape!"
📜 Manifesto
I'm Yosef (Joey) Heifetz — a full-stack developer, reverse engineer, and language enthusiast. I build tools, simulations, and apps that balance performance, UX, and creativity. Whether it's translating virtual machine code, building dynamic UIs in Flutter, or designing scalable SQL schemas, I love solving hard problems.
🚀 Featured Projects
🧠 IDEA
A cross platform flutter based application developed in a Hackathon competition, for smart documentation of medical emergencies. The project was developed for United Hatzalah and i had the privilege of being the front end developer of the app.
🧮 SymboMath
A multi purpose calculator, currently only supports calssic and vector calculator. The vision is to have a calculator for any subject possible in computer science.
🏎️ 2D Racing Game (Rust)
A dynamic racing game with terrain, camera-following logic, and responsive input — built in Rust with Cargo.
☀️ Java Ray Tracer
Built a Ray Tracer from scratch in Java, utilizing multi threading and other optimization technics.
🎰 Slot Machine Game
Browser-based slot machine with VIP and ad-revenue features, deployed on Railway. Gamified front-end using JS and animations.
🛠️ Jack Compiler & VM Translator
Built a Jack language compiler and virtual machine translator in C++ and Lean, applying formal verification and IR optimization (CSE, copy propagation, etc.).
🧰 Tech Stack
- Frontend: Flutter, React (JS), Three.js, Tailwind CSS
- Backend: Flask, Node.js, PostgreSQL, PL/pgSQL
- Languages: Dart, JavaScript, C/C++, Python, Java, SQL, Rust, Lean
- Tooling: Git, VSCode, IDA, Mix (Flutter design system), Railway
📊 GitHub Language Overview
🏆 Accomplishments
- 🧑🏫 Mentored junior developers and engineers
- 🛠️ Built full-stack projects solo and in teams
- 🔍 Conducted reverse engineering analysis with IDA Pro
- 📚 Implemented advanced compiler optimization in C++
- 🔁 Designed normalized relational DBs with 150+ records/table
📂 Work History
Logistics & Database - United Hatzala
Oversaw warehouse operations and created tracking systems with Excel and SQL-style logic for equipment flow.
Full Stack Developer - Hudi
Developed the front-end design system and the Auth for the app
LLM Trainer - Outlier
Trained multiple LLMs for code related prompts with Languages such as C++ and Python
Senior Counselor - Ariel Youth Movement
Led educational and physical activities for youth, coordinated team efforts, and designed leadership curriculum.
Camp Instructor - Machanayim
Volunteer leadership in arts, sports, and creative instruction — promoting teamwork and initiative in campers.
📌 Now
Currently working on integrating formal verification (Lean) with compiler design, developing Authentication system in Flutter, building small web games for monetization experiments and much more.
🍳 Beyond the Code
Outside of tech, I stay active with fitness, experiment in the kitchen, and enjoy thinking deeply about how languages (human and machine) shape our logic.
Thanks for stopping by — feel free to reach out or explore my code!