Federico Bruzzone's repositories
statistical-methods-for-machine-learning
This repository contains a comprehensive set of exam questions for the course "Statistical Methods for Machine Learning"
caml-writer
CamlWriter is a terminal-based text editor developed using the OCaML.
algorithms-for-massive-datasets
This repository contains a LaTeX file that generates a PDF document comprising comprehensive notes for the course "Algorithms for Massive Datasets"
federicobruzzone.github.io
My Personal Website
setup-ocaml-project-without-dune
This repository provides a basic setup for an OCaml project without using Dune as the build system. It aims to provide a simple and straightforward structure for your OCaml project, allowing you to focus on writing code without the complexities of a build system.
smaller-basic
A Python interpreter using ANTLR4 as a parser generator for a version of Microsoft's Small Basic language renamed "Smaller Basic."
rustc-instrument
A crate to instrument the Rust compiler 🦀
setup-ocaml-project-with-dune
This repository provides a basic setup for an OCaml project with using Dune as the build system. It aims to provide a simple and straightforward structure for your OCaml project, allowing you to focus on writing code without the complexities of a build system.
software-foundations
Solutions (in Coq) of the exercises in the software foundation books.
99-erlang-problems
Implementations of the 99 problems in Erlang.
99-ocaml-problems
Implementations of the 99 problems in OCaml.
99-scala-problems
Implementations of the 99 problems in Scala.
API-project-2024
Project of the course "Algoritmi e Principi dell'Informatica" (API) of Politecnico di Milano, academic year 2023/2024
awesome-ratatui
A curated list of TUI apps and libraries built with Ratatui
awesome-rust
A curated list of Rust code and resources.
awesome-tuis
List of projects that provide terminal user interfaces
c-hash-table
Hash table implementation in C
dotfiles-arch
Essential configuration files, or "dotfiles," which are key to customizing my development environment.
funs
Funs is a functional scripting language written in Rust 🦀
master-thesis
My master thesis carried out at the ADAPT Lab, Università degli Studi di Milano.
P4-compiler-in-SDN
A presentation on the P4 compiler in Software Defined Networking (SDN)
phd-project
My PhD project for the Università degli Studi di Milano
rust
Empowering everyone to build reliable and efficient software.
rusty-links
RustyLinks: leverage ownership semantics and borrow checking to perform static analysis on the rustc's MIR