George Petrou's repositories
Artificial-Intelligence-2016-2017
My solution to Artificial Intelligence course project at NTUA 2016-2017
Dana_Compiler
A Dana Compiler developed for Compiler's Course at NTUA
DatabaseSystems-Ntua
Database Project for Database Systems course at Ntua 2016-2017.
Linux-chr_dev_driver-cslab
Linux character device driver assignement for NTUA CSlab 2017-2018.
ranking-engine
A ranking engine for text search. Given a query and a set of articles, it returns N most relevant articles.
Algo2016-2017
Solutions to algorithm class programming assignments, NTUA 2016-2017
CodeJam2017
My solutions for Code Jam 2017 - Qualification Round
Distributed-Chat
A Distributed Chat system
MoviePlatform
A social sharing movie platform
PL1
Solutions to Programming Languages 1 course, NTUA 2015-2016
Programming-Techniques
My solutions for the course Programming Techniques-NTUA 2013-2014
Prolog-Presentations
My Prolog related presentations for Logic 2(8th semester) and Software Engineering(9th semester) courses !!!
taxemu
A tool to calculate your tax
theorem-proving-template
Template repo for theorem proving in Liquid Haskell
TriangularSolver
A đŸ”ºangular solver for Sparse Matrices.