Giacomo Bergami's repositories
NCL_CSC8016
AdvancedProgramming
theory_of_concurrent_systems
Some Theory of Concurrent Systems, implemented C++ for better understanding of the practical people
approxProbTraceAlign
Implementation of the (Approximate) Probabilistic Trace Alignment. To compile the code, see the demo below.
jackbergus.github.io
My personal homepage
KnowledgeBaseExpansion
Given the schema specification, this tool automatically generates the SQL queries that are going to be used to perform the knowledge base expansion on top of a relational database
SUMOtoOsmosis
⛔️ DEPRECATED. Please use SimulatorBridger instead
bolt_tutorial
Bolt is a language with in-built data-race freedom!
data-flow-analysis
Data Flow Analysis in Matita
datagramdb-visualizer
Query language visualizer for the query language and final results
fast-cpp-csv-parser
fast-cpp-csv-parser
foodbroker
Data generator for business process data
fuzzyStringMatching
This library provides a support for performing fuzzy string matching in secondary memory.
gradesnda23
Random model generator used for the GRADES-NDA'23 Paper, as well a single contact point for the competing approaches
inv-lit-prog
Generating documentation for methods and functions in the style of literature programming