Skip to content
View pitmonticone's full-sized avatar

Highlights

  • Pro

Block or report pitmonticone

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Archive for all Rocq and Coq-related opam packages organized in various repositories

OCaml 171 182 Updated Jun 11, 2026

A template for blueprint-driven formalization projects in Lean.

Python 107 18 Updated Apr 24, 2026

Proof in Lean of Fermat Last Theorem for exponent 3

Lean 41 11 Updated Jun 25, 2024

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.

TeX 7 Updated Sep 3, 2023

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

Jupyter Notebook 13 Updated May 30, 2023

A Makie theme

Julia 9 Updated Apr 21, 2026

The release of the Twitter algorithm, annotated for recsys

497 30 Updated Apr 15, 2023

Easily benchmark a Julia package over its commit history

Julia 152 25 Updated Jun 8, 2026

OpenAI ChatGPT, GPT-5, GPT-Image-1, Whisper API clients for Go

Go 10,691 1,697 Updated Oct 21, 2025

Source code for Twitter's Recommendation Algorithm

Python 10,580 2,236 Updated Jul 10, 2024

Source code for the X Recommendation Algorithm

Scala 73,425 13,279 Updated Sep 8, 2025

An example package for submissions to JuliaCon

TeX 22 25 Updated Oct 28, 2025

Run your GitHub Actions locally 🚀

Go 70,784 1,954 Updated Jun 1, 2026

Materials used by previous Turing related workshop events

Jupyter Notebook 19 3 Updated Dec 10, 2025

A full course of self-explanatory and freely available materials on CSS methods

Jupyter Notebook 84 18 Updated May 15, 2025

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

Julia 7 1 Updated Jan 21, 2023

Notes for the Numerics of Machine Learning Lecture Course at the University of Tübingen

Jupyter Notebook 230 32 Updated Mar 29, 2024

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

Julia 132 7 Updated Mar 13, 2026

Repository for Common Ground C25

Julia 106 16 Updated Dec 2, 2024

Material for a full course on applied nonlinear dynamics, nonlinear timeseries analysis, and complex systems, in Julia

Jupyter Notebook 66 17 Updated Aug 22, 2024

Experimental GitHub Action

82 16 Updated May 17, 2025

Statistical Rethinking Course for Jan-Mar 2023

R 2,380 270 Updated Nov 28, 2023

Bayesian Nowcasting with application to COVID-19 fatalities in Sweden

R 7 2 Updated Mar 9, 2023

Helping people learn the worlds fastest growing programming language

8 Updated Nov 25, 2022

Marginal distributions and Markov kernels that play nice with each other for the purpose of Bayesian state estimation.

Julia 18 2 Updated Oct 22, 2025

An R package for analyzing censored and under-reported surveillance data.

R 10 5 Updated Apr 11, 2025

A package to represent high-order relationships between objects of any type

Julia 44 3 Updated May 11, 2023

Research package for automatic differentiation of programs containing discrete randomness.

Julia 219 17 Updated Mar 27, 2025
Next