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.
waterproof
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
awesome-conformal-prediction
A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD theses, articles and open-source libraries.
awesome-generative-ai
A curated list of modern Generative Artificial Intelligence projects and services
awesome-julia
A curated list of Julia packages, resources, books and so on
category-theory-illustrated
A book about category theory
Cleaner.jl
A toolbox of simple solutions for common data cleaning problems.
cola
Compositional Linear Algebra
dai-dinamici.github.io
[DAI](https://dinamici.org) website
FormalMethods2023
GitHub repository for lab lectures of the Formal Methods course (University of Trento)
frap
Formal Reasoning About Programs
geospatial_course_unitn
repository with code and documentation for the course "Geospatial analysis and representation for data science" for the students in data science of the university of Trento
ImageCore.jl
Julia types for representing images
ImageEdgeDetection.jl
A Julia package for determining image edges (up to subpixel precision) and ascertaining the gradient/edge orientations.
ImageFeatures.jl
Image feature detection for the Julia language
iml
iml: interpretable machine learning R package
ImplicitDifferentiation.jl
Automatic differentiation of implicit functions
interpretable-ml-book
Book about interpretable machine learning
juliagraphs.github.io
Organization page
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
MathematicalEngineeringDeepLearning
Material for The Mathematical Engineering of Deep Learning. See https://deeplearningmath.org
modernjuliaworkflows.github.io
Blog posts on best practices for Julia development
pmichaillat.github.io
Minimalist Hugo template for academic websites, based on the source code to https://pascalmichaillat.org
quarto_chapters
Book Chapter Drafts
schuller-geometric
Source code for lecture notes
SymbolicRegression.jl
Distributed High-Performance symbolic regression in Julia
TextAnalysis.jl
Julia package for text analysis
TimeseriesSurrogates.jl
A Julia package for generating timeseries surrogates