Aggelos Giantsios's repositories
erlang-algorithms
Implementations of popular data structures and algorithms
algorithmic-library
A library with algorithms & data structures
z3erl-terms
A translation of Erlang terms to Z3
cdk-tweet-sentiment
An AWS DynamoDB table with the sentiment of tweets from Twitter search.
smt-solvers
Dockerfile for Z3 and CVC4