Pinned Repositories
esbmc-ai
Automated Code Repair suite powered by ESBMC and LLMs.
aicoderepair_esbmcai
Running ESBMC-AI trying to repair AI C Code (3rd exp)
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.
markdown_editor
Flutter markdown editor widget library.
neovim-config
Private neovim conf
Yiannis128's Repositories
Yiannis128/bc-pamp4
Script for ScriptRunnerPro extension that displays a "Open As MP4" button to the playback player.
Yiannis128/godot-asteroids
Yiannis128/godot-dialogo
Dialog plugin for Godot with simplicity in mind. Very easy to pick up and use.
Yiannis128/neovim-config
Private neovim conf
Yiannis128/aicoderepair_esbmcai
Running ESBMC-AI trying to repair AI C Code (3rd exp)
Yiannis128/aicoderepair_llmtests
Single Iteration C Code APR Using LLM Experiments (2nd exp of paper)
Yiannis128/article-compiler
Compiles md articles into static html articles using an easy and efficient template system.
Yiannis128/godo
Digital Ocean Go Library
Yiannis128/markdown_editor
Flutter markdown editor widget library.
Yiannis128/clangastpy
A high level abstraction to the ClangAST library for Python that enables source code analyzing and manipulation.
Yiannis128/ClassiCube
Custom Minecraft Classic / ClassiCube client written in C from scratch (formerly ClassicalSharp in C#)
Yiannis128/esbmc
Fork of ESBMC with the aim of providing additional features to the Solidity module.
Yiannis128/esbmc_ai_addon_template
Template for creating ESBMC-AI addons.
Yiannis128/golang-logger
A simple logger for Golang
Yiannis128/gosh
Yiannis128/ipykernel-ctl
Easily deploy and manage IPyKernel for Python Environments.
Yiannis128/kickstart-modular.nvim
A launch point for your personal nvim configuration
Yiannis128/Perspective-Game
Yiannis128/plain_c_nn_benchmark
AICodeRepair 1st exp
Yiannis128/Python3Tutorials
A collection of Python3 scripts designed to help people learn Python3
Yiannis128/ShinobiShuriken-Release
Yiannis128/StaticBuilder
Yiannis128/WebKitBuilder
Yiannis128/Yiannis128
Config files for my GitHub profile.
Yiannis128/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.