jackbergus

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

aaltaf

SAT-based LTLf Satisfiability Checker

bolt_tutorial

Bolt is a language with in-built data-race freedom!

bpm21

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

FishingForFishies

foodbroker

Data generator for business process data

frequent-subgraph-mining

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

knobab.github.io

krouter

An Omnet implementation for a router with k different outputs with routing probabilities.

minauto

Minimization of Probabilistic Automata

MLPNAS

MLPNAS code for Paperspace series on Neural Architecture Search

NCL_CSC3232

SimulatorBridger

socialsim

(Social) Network Simulator

symengine

SymEngine is a fast symbolic manipulation library, written in C++

TabulaRasa

varsorter

Yet another key-value store for variadic size keys and values and, generally speaking, sorting and serializing to secondary-memory.

VideoGameDebugging

VPDisk

Vantage Point Tree on disk