George Karagiannis's repositories
statchecker
Scrutinizer: A Mixed-Initiative Approach to Large-Scale, Data-Driven Claim Verification
FreeBSD_Scheduler
Modified the scheduler of freeBSD to use lottery scheduling instead of round robin
4ourcity_web
Web Platform that allows citizens to report problems online directly to their municipality. The development was done using the Web2py framework with a Postgress SQL database.
4ourcity_android
mobile application for android phones. Users report problems to their municipality and are able to record bumps and potholes automatically by placing their phone inside a stable position in their cars
bouncing_balls
Implementation of a Heap Priority Queue Data Structure to model a descrete event simulation problem
Cat
A program in C that imitates the cat command
Pacman_search
Solving the Pac-Man game, with various search algorithms such as DFS, BFS, UCS, Astar and implementing various heuristics for different Pac-Man games
Desk_Calculator_Ocaml
Imitates functions of dc(1). Includes addition, subtraction, multiplication, division and exponentiation. The program is written in ocaml and also supports dc functions like c, d, f, l, p, s
FreeBSD_VM
Alterations to freebsd's virtual memory and comparison of old algorithm to the new approach via a series of graphs.
geokaragiannis.github.io
Personal Website
magnitude
A fast, efficient universal vector embedding utility package.
PacMan_gamePlaying
algorithms for adversarial search in PacMan and game playing against ghosts. Some algorithms included are MiniMax and ExpectiMax
SillyBasicInterpreter
a Silly Basic language interpreter in Scheme. The interpreter reads in an intermediate language program, parses it, and then interprets it.