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 supported. This note will be visible to only 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 149 174 Updated Oct 9, 2025

A template for blueprint-driven formalization projects in Lean.

Python 76 8 Updated Sep 25, 2025

Proof in Lean of Fermat Last Theorem for exponent 3

Lean 40 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 6 Updated Sep 3, 2023

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

Jupyter Notebook 11 Updated May 30, 2023

A Makie theme

Julia 9 Updated Aug 24, 2025

The release of the Twitter algorithm, annotated for recsys

496 29 Updated Apr 15, 2023

Easily benchmark a Julia package over its commit history

Julia 133 12 Updated Oct 6, 2025

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

Go 10,313 1,669 Updated Sep 12, 2025

Source code for Twitter's Recommendation Algorithm

Python 10,371 2,232 Updated Jul 10, 2024

Source code for the X Recommendation Algorithm

Scala 67,552 12,595 Updated Sep 8, 2025

An example package for submissions to JuliaCon

TeX 22 23 Updated Nov 16, 2023

Run your GitHub Actions locally 🚀

Go 66,223 1,753 Updated Oct 1, 2025

Materials used by previous Turing related workshop events

Jupyter Notebook 16 3 Updated Oct 2, 2025

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

Jupyter Notebook 76 16 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 218 30 Updated Mar 29, 2024

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

Julia 124 5 Updated Sep 2, 2025

Repository for Common Ground C25

Julia 103 14 Updated Dec 2, 2024

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

Jupyter Notebook 64 17 Updated Aug 22, 2024

Experimental GitHub Action

71 14 Updated May 17, 2025

Statistical Rethinking Course for Jan-Mar 2023

R 2,333 264 Updated Nov 28, 2023

Bayesian Nowcasting with application to COVID-19 fatalities in Sweden

R 6 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 Sep 29, 2025

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

R 9 6 Updated Apr 11, 2025

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

Julia 37 2 Updated May 11, 2023

Research package for automatic differentiation of programs containing discrete randomness.

Julia 214 15 Updated Mar 27, 2025
Next