-
SerenHub Public
Project for the web/network module of the "System and Network Hacking" course at the University of Pisa.
-
BRACE Public
Byzantine-Resilient Aggregation via Consensus Enforcement
Jupyter Notebook MIT License UpdatedJun 11, 2025 -
Failure-Analyzer Public
Forked from Alex23087/Failure-SSIL-AnalyserFAILURE 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.
OCaml GNU General Public License v3.0 UpdatedMay 10, 2025 -
-
MIND Public
MIND - Mastermind Integrated on a Decentralized ledger
HTML Creative Commons Zero v1.0 Universal UpdatedMay 6, 2025 -
Fhree Public
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
-
Trustee Public
Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.
-
gokarna Public
Forked from gokarna-theme/gokarna-hugoA minimal opinionated theme for Hugo - few updates
JavaScript GNU General Public License v3.0 UpdatedAug 5, 2024 -
ML-models-comparison Public
Forked from vezzusamu/ml-projectProject of the Machine Learning course @ UniPi
Jupyter Notebook UpdatedMar 12, 2024 -
tic-tac-toe Public
Python Tic-Tac-Toe developed as excercise of the Advanced Software Engineering course
-
EsoCaml Public
Small esoteric language, inspired by reMorse and Ocaml
-
JobScheduler-Framework Public
Framework for job scheduling and processing - Advanced Programming assignment
Java GNU General Public License v3.0 UpdatedJul 27, 2023 -
MSet Public
Haskell implementation of MultiSet - Advanced Programming Assignment
-
XMLSerializer Public
Advanced Programming Assignment about Java Reflection and Annotations
Java GNU General Public License v3.0 UpdatedJul 27, 2023 -
Eight-Puzzle Public
Advanced Programming Assignment about components and event-based communication mechanisms with Java Beans
-
concurrent-KColoring Public
A concurrent K-Coloring solver
Go GNU General Public License v3.0 UpdatedJun 6, 2023 -
config-parser Public
A simple parser that reads a configuration file and stores the information in a data structure.
OCaml GNU General Public License v3.0 UpdatedApr 26, 2023 -
OCaML-Interpreter Public
Secondo progetto universitario del corso di Programmazione II
-
MicroC Public
MicroC is the compiler for a subset of the language C
OCaml ISC License UpdatedApr 21, 2023 -
RISOBot Public
Adriano's Diets Consulting Bot - Parses and extracts informations about your diet (files in the Adriano's format).
-
AdventOfCode2021 Public
My solutions to some challenges of AoC2021, for fun and to improve my Python skills 🎄🐍
Python GNU General Public License v3.0 UpdatedDec 21, 2021 -
VSA Public
Thesis project on the development of a framework for Value-Set Analysis
-
WordQuizzle Public
Progetto universitario per il corso di Reti di calcolatori e Laboratorio
-
OOB-Signaling Public
Progetto universitario per il corso di Sistemi Operativi e Laboratorio
-
Secure-Data-Container Public
Primo progetto universitario del corso di Programmazione II
{{ message }}