mdipirro Goto Github PK

akka

Build highly concurrent, distributed, and resilient message-driven applications on the JVM

android-real-time

Relazione e presentazione per l'esame di Sistemi Real Time su Android

bachelor-thesis

Bachelor Thesis on the management of the application catalogue of an Identity and Access Management cloud based (IDaaS) system (in italian).

bluez-agent-qt

Custom BlueZ agent developed with Qt and C++

bok

Tex Glossary for SWE in Italian

boulder-945

This repository contains a simple Garmin Connect IQ application to record boulder session at the Intellighezia Project gym.

dbunit

DbUnit port for PHP/PHPUnit.

distributed-systems-labs

Repository for the Distibuted Systems lab sessions

docker-tests-scaladays2023

This repository contains the sample code used during the "Running Docker-Based Integration Tests in Scala: A Case Study" presentation at ScalaDays 2023

edx-programming-reactive-systems

My solutions to the Programming Reactive Systems course by edX (https://courses.edx.org/courses/course-v1:EPFLx+scala-reactiveX+3T2019/course/)

effective-unit-and-integration-testing-in-scala

Repository for the "Effective Unit and Integration Testing in Scala" course @ Educative.io

forza-e-coraggio

The backend part of an accessible website built fon an academic project. Here there are Perl scripts, XML schemas and XSL stylesheets.

functional-languages-homeworks

Solutions to the exercises from "Functional Languages" (University of Padua) course

haskell-secure-types

Final Computer & Network Security course project

haskell-secure-types-library

A library for information security in Haskell

kul-development-of-secure-software-project

Project for the "Development of Secure Software" couse at KU Leuven

linqedin

Final commit

mdipirro.github.io

Personal webpage

pcd-actors

A system that implements the actor model.

presentazione-spore

Presentazione per il corso di Aspetti Avanzati dei Linguaggi di Programmazione sulle Spore in Scala

programming-in-haskell-exercises

In this repository there are my solutions to some exercises of the "Programming in Haskell" book

pulseaudio-qt

Pulseaudio bindings for Qt

scala-tutorials

slides-theme

This repository contains a slides theme based on UH Manoa theme

sortes-dhcp-relay

sortes-exercises

C exercises assigned during the "Software for Real-Time and Embedded Systems" course

sortes-timer

taint-mechanisms-presentation

Slides and speech draft for the Taint Mechanisms presentation (CNS Course)

teoria-dei-tipi-coq

Esercizi di Teoria dei Tipi svolti in Coq

typescript-decorators

A Practical Guide to TypeScript Decorators