Pinned Repositories
algorithmic-library
A library with algorithms & data structures
cdk-tweet-sentiment
An AWS DynamoDB table with the sentiment of tweets from Twitter search.
erlang-algorithms
Implementations of popular data structures and algorithms
Gradualizer
llamac
Compiler for Llama
smt-solvers
Dockerfile for Z3 and CVC4
z3erl-terms
A translation of Erlang terms to Z3
cuter
A concolic testing tool for the Erlang functional programming language.
otp
Erlang/OTP
aggelgian's Repositories
aggelgian/erlang-algorithms
Implementations of popular data structures and algorithms
aggelgian/algorithmic-library
A library with algorithms & data structures
aggelgian/z3erl-terms
A translation of Erlang terms to Z3
aggelgian/cdk-tweet-sentiment
An AWS DynamoDB table with the sentiment of tweets from Twitter search.
aggelgian/Gradualizer
aggelgian/smt-solvers
Dockerfile for Z3 and CVC4
aggelgian/llamac
Compiler for Llama