Digital Vote Assistant

reddit bot for democratic decision-making

Deep Learning Proof Search for Lambek Calculus

master thesis

The Secret Lives of Couriers

Dota 2 custom game

r/koina

φόρουμ συζητήσεων

r/europes

news & discussion on Europe

Spanbook

time travel app

Deep Learning for Theorem Generation and Premise Selection

WaveNet-made theorem dataset

Let 4 Def

Dota 2 custom game

The Awakening

investigation scenario

Dear Future

reddit-based public reminder system