Michele Guerriero's repositories
c2ocaml
c2ocaml - a source-to-source transformer to take C files into OCaml files compatible with lsee (a lightweight symbolic execution engine)
code-vectors-artifact
Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"
DICE-Models
Domain models used in the DICE Project (DPIM, DTSM, DDSM)
DICE-Profiles
UML profiles for the DICE project
JavaPermutationTools
A Java library for computation on permutations and sequences
linux-full-history
Full history of the Linux kernel using Git replace references (clone this, GitHub won't follow replaces)
RepData_PeerAssessment1
Peer Assessment 1 for Reproducible Research
schema-registry
Schema registry for Kafka
spark-rabbitmq
RabbitMQ Spark Streaming receiver
streaming-benchmarks
Benchmarks for Low Latency (Streaming) solutions including Apache Storm, Apache Spark, Apache Flink, ...
Transformations4DICE
ATL model-2-model transformation for the DICE project.