Exact Combinatorial Optimization with Graph Convolutional Neural Networks (NeurIPS 2019)

BNN verification dataset for Max-SAT Evaluation 2020 and MIPLIB 2024

A Python interface to control and communicate with mBot robot kit

Code for solving LP on GPU using first-order methods

LEMON Graph Library

nanobind: tiny and efficient C++/Python bindings

PathWyse: a flexible, open-source library for the resource constrained shortest path problem

Notebook python usati per stage ai ragazzi delle superiori.

A benchmark for sorting algorithms

🎄 Advent of Code (2015-2024) in C#

Advent of Code solutions and visualisations in python

A command-line benchmarking tool

Maximum independent sets and vertex covers of large sparse graphs.

Geometry-Aware Fourier Neural Operator (Geo-FNO)

Parallel Presolve for Integer and Linear Optimization

My Python solutions for Advent of Code 2023

My solutions for advent of code 2023

Modern C++ Programming Course (C++03/11/14/17/20/23/26)

Distributionally Robust Learning in PyTorch. Install with `pip install sqwash`.

MIP 2024 Computational Competition

Python programs, usually short, of considerable difficulty, to perfect particular skills.

repository to track public web analytics that I manage

Optimization Models and Algorithms

A library for visualizing gridded data 🌐

Repository for the Lux AI Challenge, season 2 (NeurIPS 23). Hosted on @kaggle

Personal website built with Hugo