Giacomo Bergami's repositories
jackbergus.github.io
My personal homepage
datagramdb-visualizer
Query language visualizer for the query language and final results
data-flow-analysis
Data Flow Analysis in Matita
NCL_CSC8016
AdvancedProgramming
fuzzyStringMatching
This library provides a support for performing fuzzy string matching in secondary memory.
varsorter
Yet another key-value store for variadic size keys and values and, generally speaking, sorting and serializing to secondary-memory.
VPDisk
Vantage Point Tree on disk
theory_of_concurrent_systems
Some Theory of Concurrent Systems, implemented C++ for better understanding of the practical people
foodbroker
Data generator for business process data
fast-cpp-csv-parser
fast-cpp-csv-parser
socialsim
(Social) Network Simulator
krouter
An Omnet implementation for a router with k different outputs with routing probabilities.
inv-lit-prog
Generating documentation for methods and functions in the style of literature programming
minauto
Minimization of Probabilistic Automata
bolt_tutorial
Bolt is a language with in-built data-race freedom!
aaltaf
SAT-based LTLf Satisfiability Checker
symengine
SymEngine is a fast symbolic manipulation library, written in C++
gradesnda23
Random model generator used for the GRADES-NDA'23 Paper, as well a single contact point for the competing approaches
MLPNAS
MLPNAS code for Paperspace series on Neural Architecture Search
approxProbTraceAlign
Implementation of the (Approximate) Probabilistic Trace Alignment. To compile the code, see the demo below.
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