Pinned Repositories
Eight-Puzzle
Advanced Programming Assignment about components and event-based communication mechanisms with Java Beans
EsoCaml
Small esoteric language, inspired by reMorse and Ocaml
Fhree
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
MicroC
MicroC is a subset of the language C, statically typed and compiled
MSet
Haskell implementation of MultiSet - Advanced Programming Assignment
OCaML-Interpreter
Secondo progetto universitario del corso di Programmazione II
OOB-Signaling
Progetto universitario per il corso di Sistemi Operativi e Laboratorio
RISOBot
Adriano's Diets Consulting Bot - Parses and extracts informations about your diet (files in the Adriano's format).
Secure-Data-Container
Primo progetto universitario del corso di Programmazione II
VSA
Thesis project on the development of a framework for Value-Set Analysis
marcoantoniocorallo's Repositories
marcoantoniocorallo/VSA
Thesis project on the development of a framework for Value-Set Analysis
marcoantoniocorallo/RISOBot
Adriano's Diets Consulting Bot - Parses and extracts informations about your diet (files in the Adriano's format).
marcoantoniocorallo/EsoCaml
Small esoteric language, inspired by reMorse and Ocaml
marcoantoniocorallo/Fhree
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
marcoantoniocorallo/OCaML-Interpreter
Secondo progetto universitario del corso di Programmazione II
marcoantoniocorallo/OOB-Signaling
Progetto universitario per il corso di Sistemi Operativi e Laboratorio
marcoantoniocorallo/Eight-Puzzle
Advanced Programming Assignment about components and event-based communication mechanisms with Java Beans
marcoantoniocorallo/MSet
Haskell implementation of MultiSet - Advanced Programming Assignment
marcoantoniocorallo/Secure-Data-Container
Primo progetto universitario del corso di Programmazione II
marcoantoniocorallo/tic-tac-toe
Python Tic-Tac-Toe developed as excercise of the Advanced Software Engineering course
marcoantoniocorallo/WordQuizzle
Progetto universitario per il corso di Reti di calcolatori e Laboratorio
marcoantoniocorallo/AdventOfCode2021
My solutions to some challenges of AoC2021, for fun and to improve my Python skills 🎄🐍
marcoantoniocorallo/concurrent-KColoring
A concurrent K-Coloring solver
marcoantoniocorallo/config-parser
A simple parser that reads a configuration file and stores the information in a data structure.
marcoantoniocorallo/marcoantoniocorallo
Readme for my GitHub profile
marcoantoniocorallo/MicroC
MicroC is a subset of the language C, statically typed and compiled
marcoantoniocorallo/JobScheduler-Framework
Framework for job scheduling and processing - Advanced Programming assignment
marcoantoniocorallo/ML-models-comparison
Project of the Machine Learning course @ UniPi
marcoantoniocorallo/XMLSerializer
Advanced Programming Assignment about Java Reflection and Annotations