Formalisation of the Kelley-Meka bound on Roth numbers

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.

Project for "Machine-Checked Mathematics" at the Lorentz Center

Nonlinear Dynamics: A concise introduction interlaced with code

Pytorch Geometric implementation of the "Gravity-Inspired Graph Autoencoders for Directed Link Prediction" paper.

Pytorch Geometric implementation of the "Gravity-Inspired Graph Autoencoders for Directed Link Prediction" paper.

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Well-documented Python demonstrations for spatial data analytics, geostatistical and machine learning to support my courses.

Repository hosting resources for the summer school "Three Days between Analysis and Geometry" at the University of Trento (@UniTrento) from 2023/08/28 to 2023/08/30.

Please do not feed the models

Black-box abm calibration kit by the Bank of Italy

High-performance metaheuristics for optimization coded purely in Julia.

Functions generated at runtime without world-age issues or overhead

Applied Deep Learning Course

Computational Social Science Project: "Algorithmic Bias in Echo Chamber Formation".

Repository hosting all the resources and contents related to public talks conducted by InPhyT members.

A Julia package for the creation, manipulation and analysis of the structure, dynamics and functions of multilayer graphs.

Open-source scientific and technical publishing system built on Pandoc.

Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.

A simple module to collect video, text, and metadata from Tiktok.

A Python Client for collect and parse public data from the Youtube Data API

Run your GitHub Actions locally 🚀

Reviews for the Journal of Open Source Software

Reverse engineered ChatGPT API

COVID-19 Surveillance Data Modelling and Management Pipeline in Piedmont.

Open source research data repository software

traits for julia: dispatch on whatever you want using where syntax

Create markdown presentations from Julia