Hi there, I'm Yiannis. Welcome to my Github profile. Here you'll find some of the open source contributions I have made.

I'm a software engineer with experience in building a wide arrange of applications, including, full-stack web apps, native system software, and games on various different platforms and engines. I am proficient in using various technologies such as Python, C, C++, Dart, and Go, to name a few. I'm also interested in graphics, machine learning, cybersecurity.

I have a lot of projects that have not been made public yet, due to them still being very mature yet. Here are some public projects I've worked on:

ESBMC-AI is an AI LLM powered augmentation layer that works on top of ESBMC. ESBMC is the Efficient SMT-based Bounded Model Checker.

An early in development markdown editor Flutter widget library. The aim of the project is to provide a premium editing experience in Flutter applications.

A simple library that adds typing into Digital Ocean's serverless Go functions. This makes the API much more concrete and allows for better type-safety and documentation.

Extremely simple to use, drop-in Go Logging library with verbosity level support.

An in-depth tutorial series made for Godot 4.0 (a long time before it released). For some time, it was one of the only Godot 4 focused turorial series. Now it should probably be updated. The articles can be accessed on my website. The repository consists of the project files.

Feel free to reach out to me on my website.