Pietro Monticone (pitmonticone)

pitmonticone

Geek Repo

Company:University of Trento

Location:Trento, Italy

Home Page:https://fosstodon.org/@PietroMonticone

Twitter:@PietroMonticone

Github PK Tool:Github PK Tool


Organizations
BayesianDataAnalysisJulia
DoriaLab
FormalMathematicsLab
InPhyT
JuliaCommunity
JuliaDynamics
JuliaEpi
JuliaGraphs
JuliaHealth
JuliaTrustworthyAI
NeuronalDynamicsJulia
NVIDIAGameWorks
StatisticalRethinkingJulia
TidierOrg
UniTo-SEPI

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.

Language:TeXLicense:MITStargazers:5Issues:1Issues:0

waterproof

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Language:JavaScriptLicense:LGPL-2.1Stargazers:1Issues:0Issues:0

awesome-conformal-prediction

A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD theses, articles and open-source libraries.

License:CC0-1.0Stargazers:0Issues:0Issues:0

awesome-generative-ai

A curated list of modern Generative Artificial Intelligence projects and services

License:CC0-1.0Stargazers:0Issues:0Issues:0

awesome-julia

A curated list of Julia packages, resources, books and so on

Language:RStargazers:0Issues:0Issues:0

category-theory-illustrated

A book about category theory

Language:HTMLStargazers:0Issues:0Issues:0

Cleaner.jl

A toolbox of simple solutions for common data cleaning problems.

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

cola

Compositional Linear Algebra

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dai-dinamici.github.io

[DAI](https://dinamici.org) website

Language:CSSStargazers:0Issues:0Issues:0
Language:SCSSStargazers:0Issues:0Issues:0

FormalMethods2023

GitHub repository for lab lectures of the Formal Methods course (University of Trento)

Language:SMTStargazers:0Issues:0Issues:0

frap

Formal Reasoning About Programs

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

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

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

ImageCore.jl

Julia types for representing images

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ImageEdgeDetection.jl

A Julia package for determining image edges (up to subpixel precision) and ascertaining the gradient/edge orientations.

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

ImageFeatures.jl

Image feature detection for the Julia language

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

iml

iml: interpretable machine learning R package

Language:RLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ImplicitDifferentiation.jl

Automatic differentiation of implicit functions

Language:JuliaLicense:MITStargazers:0Issues:0Issues:0

interpretable-ml-book

Book about interpretable machine learning

Language:Jupyter NotebookLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

juliagraphs.github.io

Organization page

Stargazers:0Issues:0Issues:0

LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

MathematicalEngineeringDeepLearning

Material for The Mathematical Engineering of Deep Learning. See https://deeplearningmath.org

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

modernjuliaworkflows.github.io

Blog posts on best practices for Julia development

Language:CSSStargazers:0Issues:0Issues:0

pmichaillat.github.io

Minimalist Hugo template for academic websites, based on the source code to https://pascalmichaillat.org

License:MITStargazers:0Issues:0Issues:0

quarto_chapters

Book Chapter Drafts

Language:HTMLLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

schuller-geometric

Source code for lecture notes

Language:TeXStargazers:0Issues:0Issues:0

SymbolicRegression.jl

Distributed High-Performance symbolic regression in Julia

Language:JuliaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

TextAnalysis.jl

Julia package for text analysis

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

TimeseriesSurrogates.jl

A Julia package for generating timeseries surrogates

Language:JuliaLicense:NOASSERTIONStargazers:0Issues:0Issues:0