A SwiftUI app providing real-time weather information and tourist places of interest for various locations.

B specification for a simplified version of the classic Spaceship & Asteroids arcade game, utilizing the B tools Atelier B and ProB.

A concurrent ticketing system in Java, focusing on synchronizing multiple threads to manage ticket printing and resource refilling operations.

Slinding puzzles - Check whether a directed graph is acyclic

The skin consultation center management system has two interfaces: console and GUI. The console interface manages doctors, consultations, and bookings, while the GUI interface displays doctors' ava…

This program prompts students to input their pass, defer, and fail credits and predicts their academic progression. It displays the outcome with a vertical histogram and saves the input data as a t…

This system will display a menu for the user to interact with and assign passengers to each cabin of a cruise ship.

My personal repository