Pietro Monticone's repositories
coding-for-economists
This repository hosts the code behind the online book, Coding for Economists.
gravity_gae_torch_geometric
Pytorch Geometric implementation of the "Gravity-Inspired Graph Autoencoders for Directed Link Prediction" paper.
NonlinearDynamicsTextbook
Nonlinear Dynamics: A concise introduction interlaced with code
python-for-scicomp
Python for scientific computing course
PythonNumericalDemos
Well-documented Python demonstrations for spatial data analytics, geostatistical and machine learning to support my courses.
SymmetryBook
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.
whyjulia-manifesto
Why Julia - A Manifesto.
awesome-ml-demos
Curated list of interactive ML demos
awesome-quarto
A curated list of Quarto talks, tools, examples & articles! Contributions welcome!
compressor
Because we don't have enough time to read everything
deepinv
PyTorch library for solving imaging inverse problems using deep learning
dl4math
Resources of deep learning for mathematical reasoning (DL4MATH).
FIS0204
Machine Learning for Applied Physics and High Energy Physics
forallx
P.D. Magnus' forallx logic textbook
geomstats
Computations and statistics on manifolds with geometric structures.
latex-advice
Advice for writing LaTeX documents
LLMs-from-scratch
Implementing ChatGPT-like LLMs from scratch, step by step
OpenLogic
An open-source, customizable intermediate logic textbook
PG
This repo is the new home of Proof General
pyscisci
Science of Science
SciLean
Scientific computing in Lean 4
sets-logic-computation
Textbook on metalogic based on the Open Logic Project
wxmaxima
A gui for the computer algebra system Maxima built with wxWidgets
Zero2Hero-JuliaWorkshop
Intensive Julia workshop that takes you from zero to hero