Skip to content
View pr0mak's full-sized avatar

Block or report pr0mak

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.

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
pr0mak/README.md

Hey there, I’m Prodromos!

20-year-old, Computer Science student at the AUEB , with Erasmus+ academic experience at Eindhoven University of Technology. Passionate about software development, web & mobile applications, and cybersecurity, with a growing interest in AI and Machine Learning.

Languages and Tools:

java python cplusplus android mysql http posix docker opengl pytorch wireshark VHDL mips32 Overleaf rnn-cnn

Pinned Loading

  1. Program-Equivalence-Finding-Counterexamples Program-Equivalence-Finding-Counterexamples Public

    An MLP-based incomplete heuristic model to predict functional counterexamples in zero-equivalent straight-line programs, bypassing the state-space explosion of formal SMT solvers.

    Python

  2. Sokoban-AStar-and-DRL Sokoban-AStar-and-DRL Public

    Forked from Michail-Marakis/Sokoban-AStar-and-DRL

    Solving the classic Sokoban puzzle using both classic AI search (A*) and modern Deep Reinforcement Learning (PPO) in a custom Gymnasium environment.

    Python

  3. ViaPharma ViaPharma Public

    Forked from Michail-Marakis/ViaPharma

    This project is part of the Software Engineering course. We are developing a pharmacy warehouse management system app that streamlines medicine ordering, inventory control, and backorder handling b…

    Java

  4. ML-Architectures-From-Scratch ML-Architectures-From-Scratch Public

    Forked from Michail-Marakis/ML-Architectures-From-Scratch

    A Machine Learning & Deep Learning repository featuring custom baseline algorithms built from scratch and advanced CNN/RNN architectures implemented in PyTorch.

    Jupyter Notebook

  5. Systems-Programming-and-Hardware Systems-Programming-and-Hardware Public

    Forked from Michail-Marakis/Systems-Programming-and-Hardware

    Systems programming and hardware projects featuring CUDA, OpenCL, OpenMP, POSIX threads, VHDL, and a multi-threaded asynchronous pipeline simulation.

    C

  6. Bike-Sharing-Desktop-Application Bike-Sharing-Desktop-Application Public

    BeRide is a comprehensive, Java-based urban mobility platform designed to simplify bike-sharing. Built with a custom, highly responsive Java Swing GUI and backed by robust business logic, it offers…

    Java