Yannis Smaragdakis's repositories
souffle-num-addon
Souffle Datalog functors (extensions) for more complex arithmetic
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
Language:Python000
DIPs
D Improvement Proposals
Language:DCC0-1.0000