prime-gap-236 Public

prime-gap-236-ultra Public

autotao Public

Autonomous Theorem Attack Orchestrator — a research harness that works open mathematics problems continuously, verifies what it produces, and logs every attempt.

agupta Public

uniform-forests-complete-graphs Public

Edges of the uniform random forest of K_n are pairwise negatively correlated for every n — paper and exact verification

gold-partition-conjecture Public

Exact verification of the Gold Partition Conjecture for every non-chain poset on at most 14 elements, with reproducible C code and archived data.

random-mst-correlations Public

Pairwise edge correlations in random minimum spanning trees — paper, exact data, and verification code

tuza-maximum-degree-seven Public

Tuza's conjecture for graphs of maximum degree at most seven — paper, certificate catalogue, and exact verifiers

cde-reproduction Public

Reproducing Contextual Document Embeddings (arXiv 2410.02525)

order-matching-system Public

Simple limit order matching system written in C++.

falling-liquid-film Public

Reinforcement learning applied to falling liquid film control.

volsurf Public

Visualise volatility

2couette Public

A two-fluid couette flow with bells and whistles, written in Basilisk C

diffy Public

Visualise motion described by ODEs in your browser

Pilhouette Public

Pilhouette is a Regency Town House (rth.org.uk) project that allows visitors to make silhouette art of themselves.