These are some of the projects developed during my university studies and free time, focusing on low-level programming, AI, and systems architecture.

Use and integration of the Z3 theorem prover for logic modeling, analysis, and resolution of complex constraint satisfaction problems (CSP).

View Repository →

Experimentation and development of TensorForth in C, replicating the behavior of the Forth language. Use of parallelization with OpenMP and vectorization using vector registers with C Intrinsics.

View Repository →

Design and development of a chess engine with a Swing graphical interface. Implementation of the artificial intelligence decision-making logic using the Minimax algorithm with Alpha-Beta pruning, plus a solid structure of automated test suites via JUnit 5. Use of Git versioning, CI, and GitHub Actions.

View Repository →

Customization of the development environment on Arch Linux, integrating a dedicated repository for dotfiles, Zsh scripts, and Makefiles to automate the installation and configuration of a new environment based on tiling window managers (Hyprland, i3) and terminal tools (Waybar, Yazi, Kitty, Neovim).

View Repository →

Mobile application (Vibe Coded) for background media streaming. Built with Jetpack Compose for a modern and fluid interface, utilizing Media3 ExoPlayer and NewPipeExtractor for managing and playing playlists and audio/video content.

View Repository →

Upcoming Roadmap: I am working on my thesis project, which involves studying the allometry of insects, specifically dragonflies, to evaluate the feasibility of a real model for hovering rather than helical flight. The ultimate goal of this project is to train an RL (Reinforcement Learning) model that simulates flight.