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 152 176 Updated Nov 5, 2025

A template for blueprint-driven formalization projects in Lean.

Python 75 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 Oct 17, 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 137 14 Updated Oct 27, 2025

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

Go 10,370 1,671 Updated Oct 21, 2025

Source code for Twitter's Recommendation Algorithm

Python 10,389 2,233 Updated Jul 10, 2024

Source code for the X Recommendation Algorithm

Scala 67,692 12,612 Updated Sep 8, 2025

An example package for submissions to JuliaCon

TeX 22 24 Updated Oct 28, 2025

Run your GitHub Actions locally 🚀

Go 66,807 1,771 Updated Nov 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 77 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 221 31 Updated Mar 29, 2024

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

Julia 126 5 Updated Oct 28, 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 65 17 Updated Aug 22, 2024

Experimental GitHub Action

72 14 Updated May 17, 2025

Statistical Rethinking Course for Jan-Mar 2023

R 2,345 262 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 Oct 22, 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 38 2 Updated May 11, 2023

Research package for automatic differentiation of programs containing discrete randomness.

Julia 214 15 Updated Mar 27, 2025
Next