WordTUI is a terminal-based implementation of the popular word-guessing game(by New York Times), written in Rust and using the Ratatui crate to create the Terminal User Interface.
University notes I have taken during class for Computer Science at University of Verona
This project was developed as part of a university internship and aims at the implementation, in the proof assistant Agda, of a deductive system in natural deduction for modal logic S4.2.
This is a university project for an application that allows diabetes patients to log their blood sugar levels, insulin doses, and other relevantinformation; medics can then access this data to monitor their patients' health and admins can manage users and their data.