A knowledge graph querying framework for JavaScript
During my PhD, I contributed to various modules, particularly focusing on decentralized querying.
An experimental package manager for Scryer Prolog.
Contributed to enhancing dependency fetching and developing a lockfile system to improve reproducibility.
Freetube is a cross-platform YouTube client focused on privacy. Contributions include developing modules for displaying viewing statistics (similar to "Stats for Nerds"), searching viewing history and playlists, implementing in-app media downloading, and enhancing the UI styling of various elements.
Worked with another student to solve a combinatorial optimization problem involving hospital patient triage using MiniZinc and a local search algorithm implemented in Go.
Developed a program in Python using the Z3 library to perform static code analysis. Implemented analyses including path condition detection, automatic test generation, dead code detection, pre- and post-condition and invariant analysis, equivalence analysis, and security analysis.
Worked with another student to develop an application for planning bike rides that meet specified distance requirements and include stops near selected types of restaurants. Technologies used included Go, Docker, MongoDB, and Neo4j.
Developed a fusion planning tool for Shin Megami Tensei III by converting a JSON dataset into a knowledge graph and a Prolog knowledge base, leveraging Prolog reasoning to generate optimized fusion plans.
Developed software that converts citations stored in a knowledge graph into SVG wallpapers by enriching the data with additional information, such as author details, retrieved from DBpedia.
Design of a remote-controlled car from Raspberry Pi. The codes were made with the Python programming language.
Design of a laser distance sensor with a webcam. The calculations were Performed with Opencv(python) and the graphical interface with pyQt. A demo video is available online.
Design of a Web Scraper to download manga chapters and convert them to PDF. The graphical interface is done with pyQt. A demo video is available online.