⚽ High-performance football analytics toolkit: build data pipelines, scrape data, model matches, rank teams, and bet smarter | Powered by pena.lt/y/blog 🚀

Trying to find the highest-scoring Boggle board with a mix of C++ and Python

Modeling of Ordinal Random Variables via Softmax

A dump of all the data science materials (mostly pdf's) that I have accumulated over the years

The Stan Math Library is a C++ template library for automatic differentiation of any order using forward, reverse, and mixed modes. It includes a range of built-in functions for probabilistic model…

Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO

Jeddah 2025 F1 race predictions by Otto.rentals — built for fans who love speed, stats, and bold visuals.

Benchmark for quadratic programming solvers available in Python

Quadratic programming solvers in Python with a unified API

A Proximal Interior Point Quadratic Programming solver

A Python-embedded modeling language for convex optimization problems.

Code for "WebVoyager: WebVoyager: Building an End-to-End Web Agent with Large Multimodal Models"

ruptures: change point detection in Python

algorithm for word square construction and the first proper English 10-square

DiscoGrad - automatically differentiate across conditional branches in C++ programs

Verbosity control for AI agents

Lightweight and extensible compatibility layer between dataframe libraries!

A set of functions to easily access AFL data

Blackjack game and strategy calculator

**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.

The Vampire Theorem Prover

An implementation of the Fermionic Neural Network for ab-initio electronic structure calculations

A scikit-learn-compatible library for estimating prediction intervals and controlling risks, based on conformal predictions.

Provides network connectivity to WSL 2 when blocked by VPN

An attempt to find the highest-scoring Boggle board and prove that I've found it.

A faster, open-license alternative to Microsoft TrueSkill

Heterogeneous programming in Julia