polyvios

Polyvios Pratikakis's repositories

locksmith

A data race detector for C+Pthreads programs

Language:OCamlNOASSERTION13 2 3

twAwler

A lightweight twitter crawler

Language:PythonApache-2.09 30

el-wiktionary-parser

NLP for Greek Language. Declination, Conjugation, and Part-Of-Speech tagging, using a parser for el.wiktionary.org monthly dumps.

Language:Python4 20

CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Language:PythonNOASSERTION100

banshee

Banshee

Language:CNOASSERTION020

cil

C Intermediate Language

Language:OCamlNOASSERTION010

contextual-effects-coq

Soundness Proof for the Contextual Effects Analysis

Language:Coq020

DevStaff-Heraklion

DevStaff: A Developer Community in Crete

Language:HTML000

flink

Apache Flink

Language:JavaApache-2.0010

FlinkMancer

A Flink implementation of the TwitterMancer feature extraction.

Language:JavaApache-2.0010

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION020

python-twitter

A Python wrapper around the Twitter API.

Language:PythonApache-2.0020

scoop

A compiler and static analysis of task parallel C programs.

Language:CNOASSERTION010