marcocosta97

Marco Costa's repositories

Grafite is a data structure that enables fast range emptiness queries using optimal space and time.

Language:C++GPL-3.012 30

Approximate Logic Synthesis and Bi-Decomposition of Sum Of Products forms

Language:CGPL-3.03 10

Java library for Bloom Filters w/ Murmur3

Language:JavaGPL-3.0100

Assignments for the course of Advanced Programming at unipi 20/21

Language:Java000

Assignments per il corso di Laboratorio di Reti @ unipi, a.a. 18/19

Language:JavaGPL-3.0000

Progetto di SOL @ unipi, a.a. 17/18

Language:CGPL-2.0000

Language:Jupyter Notebook010

Peer to Peer and Blockchains 2020 Midterm @ CS-MD University of Pisa

Language:GoGPL-3.0000

Primo progetto di Programmazione 2 @ unipi, a.a. 2017/18

Language:JavaGPL-3.0000

Secondo progetto di Programmazione 2 @ unipi, a.a. 17/18

Language:OCamlGPL-3.0000

Succinct Data Structure Library 3.0

Language:C++NOASSERTION000

Language:C++GPL-3.0010

Succinct data structures in C/C++

Language:C++NOASSERTION000

MIPv6 security protocols proof through SVO logic. Realized for the Security Methods and Verification seminar @ unipi 19/20

Language:TeXGPL-3.0010

A really sad Tetris clone.

Language:JavaScript000

Progetto di Reti @ unipi, a.a. 18/19

Language:JavaGPL-3.0000