Marco Antonio's Projects
My solutions to some challenges of AoC2021, for fun and to improve my Python skills 🎄🐍
A concurrent K-Coloring solver
A simple parser that reads a configuration file and stores the information in a data structure.
Advanced Programming Assignment about components and event-based communication mechanisms with Java Beans
Small esoteric language, inspired by reMorse and Ocaml
FAILURE Analyzer is a tool for static analysis and bug detection which implements Separation Sufficient Incorrectness Logic (SSIL) as the base logic on which the analysis is driven.
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
A minimal opinionated theme for Hugo - few updates
Framework for job scheduling and processing - Advanced Programming assignment
Readme for my GitHub profile
MicroC is a subset of the language C, statically typed and compiled
Project of the Machine Learning course @ UniPi
Haskell implementation of MultiSet - Advanced Programming Assignment
Secondo progetto universitario del corso di Programmazione II
Progetto universitario per il corso di Sistemi Operativi e Laboratorio
Adriano's Diets Consulting Bot - Parses and extracts informations about your diet (files in the Adriano's format).
Primo progetto universitario del corso di Programmazione II
Python Tic-Tac-Toe developed as excercise of the Advanced Software Engineering course
Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.
Thesis project on the development of a framework for Value-Set Analysis
Progetto universitario per il corso di Reti di calcolatori e Laboratorio
Advanced Programming Assignment about Java Reflection and Annotations