Skip to main content

Projects

Open source

Machine learning libraries and developer tools I have created.

sports-betting

Tools to create and evaluate machine learning models for sports betting, compatible with scikit-learn, usable from an AI agent, Python or the command line.

imbalanced-learn-extra

Novel oversampling algorithms for class imbalance, including Geometric SMOTE and clustering-based oversampling.

scikit-ai

Task-oriented components for text, images, audio and video with a scikit-learn API, powered by open-source models or cloud APIs.

scikit-complexity

Create and simulate complex systems: describe a model in a few lines, and it works out the mathematics, picks a solver and runs the simulation.

veriphy

Certified computer algebra for Lean 4, with agent skills that turn a physics or math statement into a machine-verified proof.

copier-modern-python

Copier template for modern Python projects.

mathpix-mcp

MCP server for Mathpix OCR, converting images, PDFs and DOCX/PPTX to LaTeX and Markdown from any LLM or agent.

agentorg

A framework for generating multi-agent organisations powered by Agno.