kyrolloszakaria's repositories
About-Me
Second Project in Kotlin Android Nanodegree by Udacity. It is an interactive application that utilizes efficient ways to style layouts and bind data.
Algorithms
Algorithm and Data Structures
CodeT5
Code for CodeT5: a new code-aware pre-trained encoder-decoder model.
ColorMyBoxes
Third Project in Kotlin Android Nanodegree by Udacity. it focuses on designing nice UIs using Constriant Layout.
CSE428-BP1
The first Bonus Project for Theory of Computing Course in University of Nebraska Lincoln
Program-Verification-Dataset
This is a repo containing training data for LLM to be trained on program verification in Dafny and Python
Dice_Roller
First project in Kotlin Android Nanodegree. It is a simple application to mimic rolling a dice.
kyrolloszakaria
Config files for my GitHub profile.
Lyngsat-Explorer
A web application to provide functionalities to the data provided in Lyngsat.com
Magical-Learning
An android application that enhances the educational experience of Special Needs kids utilizing AR technology
RISCV-Explorer
A work-in-progress tool to see information about a given RISC-V instruction, given its binary representation.
Search-Engine
Search Engine implements PageRank algorithm
xv6-public
xv6 OS