Yiannis128

esbmc-ai

Automated Code Repair suite powered by ESBMC and LLMs.

bc-pamp4

Script for ScriptRunnerPro extension that displays a "Open As MP4" button to the playback player.

godot-asteroids

godot-dialogo

Dialog plugin for Godot with simplicity in mind. Very easy to pick up and use.

neovim-config

Private neovim conf

aicoderepair_esbmcai

Running ESBMC-AI trying to repair AI C Code

aicoderepair_llmtests

Single Iteration C Code APR Using LLM Experiments

article-compiler

Compiles md articles into static html articles using an easy and efficient template system.

esbmc-solidity

Fork of ESBMC with the aim of providing additional features to the Solidity module.

godo

Digital Ocean Go Library

markdown_editor

Flutter markdown editor widget library.

clangastpy

A high level abstraction to the ClangAST library for Python that enables source code analyzing and manipulation.

golang-logger

A simple logger for Golang

gosh

ipykernel-ctl

Easily deploy and manage IPyKernel for Python Environments.

kickstart-modular.nvim

A launch point for your personal nvim configuration

Perspective-Game

plain_c_nn_benchmark

Python3Tutorials

A collection of Python3 scripts designed to help people learn Python3

ShinobiShuriken-Release

StaticBuilder

WebKitBuilder

Yiannis128

Config files for my GitHub profile.

YXMLP

This is a wrapper for the Java DOM XML. It allows for the creation and manipulation of XML files at an easier and more abstract level.