Pietro Monticone's repositories
UniTrento_SummerSchool_GeometricAnalysis_2023
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.
adv-ml-units
Repository for the Advanced Topics in Machine Learning practica (@ UniTS, Spring 2023)
scientific-python-lectures
Lectures on scientific computing with python, as IPython notebooks.
awesome-computational-social-science
A list of awesome resources for Computational Social Science
awesome-conformal-prediction
A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD theses, articles and open-source libraries.
awesome-julia
A curated list of Julia packages, resources, books and so on
category-theory-illustrated
A book about category theory
ChainPlots.jl
Visualization for Flux.Chain neural networks
cola
Compositional Linear Algebra
dai-dinamici.github.io
[DAI](https://dinamici.org) website
data_science_course
Introduction to data science (for not yet scientists)
FormalMethods2023
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
frap
Formal Reasoning About Programs
iml
iml: interpretable machine learning R package
interpretable-ml-book
Book about interpretable machine learning
juliagraphs.github.io
Organization page
lean-liquid
💧 Liquid Tensor Experiment
Measurements.jl
Error propagation calculator and library for physical measurements. It supports real and complex numbers with uncertainty, arbitrary precision calculations, operations with arrays, and numerical integration.
obsidian-math-booster
Turn your Obsidian into LaTeX on steroids.
OceanBioME.jl
🌊 🦠 🌿 A fast and flexible modelling environment written in Julia for modelling the coupled interactions between ocean biogeochemistry, carbonate chemistry, and physics
Oscar.jl
A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
PowerSimulations.jl
Julia for optimization simulation and modeling of PowerSystems. Part of the Scalable Integrated Infrastructure Planning Initiative at the National Renewable Energy Lab.
quarto_chapters
Book Chapter Drafts
sage
Main repository of SageMath. Now open for Issues and Pull Requests.
schuller-geometric
Source code for lecture notes
StatProofBook.github.io
The Book of Statistical Proofs