marcoantoniocorallo

Marco Antonio's repositories

VSA

Thesis project on the development of a framework for Value-Set Analysis

Language:F#4 30

RISOBot

Adriano's Diets Consulting Bot - Parses and extracts informations about your diet (files in the Adriano's format).

Language:PythonGPL-3.03 10

EsoCaml

Small esoteric language, inspired by reMorse and Ocaml

Language:OCamlGPL-3.02 10

Fhree

Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.

Language:OCamlGPL-3.02 10

OCaML-Interpreter

Secondo progetto universitario del corso di Programmazione II

Language:OCamlGPL-3.02 20

OOB-Signaling

Progetto universitario per il corso di Sistemi Operativi e Laboratorio

Language:CGPL-3.02 10

Eight-Puzzle

Advanced Programming Assignment about components and event-based communication mechanisms with Java Beans

Language:JavaGPL-3.01 10

MSet

Haskell implementation of MultiSet - Advanced Programming Assignment

Language:HaskellGPL-3.01 10

Secure-Data-Container

Primo progetto universitario del corso di Programmazione II

Language:JavaGPL-3.01 10

tic-tac-toe

Python Tic-Tac-Toe developed as excercise of the Advanced Software Engineering course

Language:PythonGPL-3.01 10

WordQuizzle

Progetto universitario per il corso di Reti di calcolatori e Laboratorio

Language:JavaGPL-3.01 10

AdventOfCode2021

My solutions to some challenges of AoC2021, for fun and to improve my Python skills 🎄🐍

Language:PythonGPL-3.0010

concurrent-KColoring

A concurrent K-Coloring solver

Language:GoGPL-3.0010

config-parser

A simple parser that reads a configuration file and stores the information in a data structure.

Language:OCamlGPL-3.0010

marcoantoniocorallo

Readme for my GitHub profile

010

MicroC

MicroC is a subset of the language C, statically typed and compiled

Language:OCamlISC010

JobScheduler-Framework

Framework for job scheduling and processing - Advanced Programming assignment

Language:JavaGPL-3.0010

ML-models-comparison

Project of the Machine Learning course @ UniPi

000

XMLSerializer

Advanced Programming Assignment about Java Reflection and Annotations

Language:JavaGPL-3.0010