Pinned Repositories
bluez-agent-qt
Custom BlueZ agent developed with Qt and C++
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
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
LinQedIn
Final commit
quiz-fight-server
mdipirro's Repositories
mdipirro/haskell-secure-types-library
A library for information security in Haskell
mdipirro/bluez-agent-qt
Custom BlueZ agent developed with Qt and C++
mdipirro/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
mdipirro/functional-languages-homeworks
Solutions to the exercises from "Functional Languages" (University of Padua) course
mdipirro/haskell-secure-types
Final Computer & Network Security course project
mdipirro/KUL-development-of-secure-software-project
Project for the "Development of Secure Software" couse at KU Leuven
mdipirro/sortes-dhcp-relay
mdipirro/teoria-dei-tipi-coq
Esercizi di Teoria dei Tipi svolti in Coq
mdipirro/typescript-decorators
A Practical Guide to TypeScript Decorators
mdipirro/distributed-systems-labs
Repository for the Distibuted Systems lab sessions
mdipirro/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.
mdipirro/LinQedIn
Final commit
mdipirro/akka
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
mdipirro/android-real-time
Relazione e presentazione per l'esame di Sistemi Real Time su Android
mdipirro/Bachelor-Thesis
Bachelor Thesis on the management of the application catalogue of an Identity and Access Management cloud based (IDaaS) system (in italian).
mdipirro/boulder-945
This repository contains a simple Garmin Connect IQ application to record boulder session at the Intellighezia Project gym.
mdipirro/dbunit
DbUnit port for PHP/PHPUnit.
mdipirro/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/)
mdipirro/effective-unit-and-integration-testing-in-scala
Repository for the "Effective Unit and Integration Testing in Scala" course @ Educative.io
mdipirro/mdipirro.github.io
Personal webpage
mdipirro/pcd-actors
A system that implements the actor model.
mdipirro/presentazione-spore
Presentazione per il corso di Aspetti Avanzati dei Linguaggi di Programmazione sulle Spore in Scala
mdipirro/programming-in-haskell-exercises
In this repository there are my solutions to some exercises of the "Programming in Haskell" book
mdipirro/pulseaudio-qt
Pulseaudio bindings for Qt
mdipirro/scala-tutorials
mdipirro/slides-theme
This repository contains a slides theme based on UH Manoa theme
mdipirro/SORTES-exercises
C exercises assigned during the "Software for Real-Time and Embedded Systems" course
mdipirro/sortes-timer
mdipirro/taint-mechanisms-presentation
Slides and speech draft for the Taint Mechanisms presentation (CNS Course)
mdipirro/xml-glossary
A simple XML glossary with a Perl script to order and create LaTeX code from it