Pinned Loading

1. Dana_Compiler Dana_Compiler Public

   A Dana Compiler developed for Compiler's Course at NTUA

   C++ 1

2. Pacman Pacman Public

   Pacman Game implementation in Java

   Java 3

3. Linux-chr_dev_driver-cslab Linux-chr_dev_driver-cslab Public

   Linux character device driver assignement for NTUA CSlab 2017-2018.

   C 1

4. Distributed-Chat Distributed-Chat Public

   A Distributed Chat system

   Java

5. ucsd-progsys/liquid-sf ucsd-progsys/liquid-sf Public

   Port "Software Foundations" to LiquidHaskell

   Haskell 11 1

6. ranking-engine ranking-engine Public

   A ranking engine for text search. Given a query and a set of articles, it returns N most relevant articles.

   Python 1