vertex-agent

Pseudorandom number generator array creation function tools.

Literature notes on D^b(Coh X) and Fourier-Mukai. Not Hodge, not Tate, not Clay.

Sharp thresholds for five-colour cube assemblies: any 15 cubes contain a 2×2×2 solution, and every box size is settled, resolving the five-colour case left open by Berkove, Eickemeyer and Schulman. Paper and Lean formalisation.

The fastest tool to find where foreign DNA has been inserted into a genome, built to ignore contamination and lab artefacts.

Study resources for learning quantum computing

Tessera — an automata atlas and walking on digits. Life, self-reproducing loops and reversible rules on 50+ tilings, tori, Möbius strips, Klein bottles and solids; the digits of π, e, φ, √2… walked in any base, on grids, cells and surfaces. HTML5/JS, computed exactly in the browser.

CUDA particle physics engine: tiled and fused N-body gravity plus SPH fluids with spatial hashing, conservation-gated validation, and a per-optimisation benchmark ladder measured on an RTX 5070.

A Job Board for Formal Verification

XRootD Official Repository

Lean 4 formal skeleton of the Hodge conjecture: statement, formal consequences, and the isolated missing construction. Does not prove the conjecture.

A standard library of components to model the world and beyond

A Claude skill that turns vibecoded, AI-looking UI into a designed interface

Machine-checked Lean 4 proofs: Wilson's area law for SU(N) lattice gauge theory, and the Fisher-Lorentz identities. Axiom gate in the build, zero sorry.

A self-hosted platform for orchestrating bioinformatics pipelines, managing experimental metadata, and running reproducible compute workloads.

Lean 4 + Mathlib formalization of conflict-clause poset lattices, homological certificates, and step-counting cost bounds for 3-SAT (69 theorems, 0 sorry)

Mathematical bridge research, proof-search experiments, and evidence-grounded problem decomposition for Theseus.

Fast, self-contained NLR immune-receptor locus annotation for plant genomes

The Core Flight System (cFS) Operating System Abstraction Layer (OSAL)

neutriNote - the original Markdown + Math note app. Programmatically extensible. Sync-ready note storage. Non-commerical. No lock-ins. Only 3 MB footprint & highly optimized. Designed for plaintext purists.

High-throughput mapping and domain partitioning of antigen receptor sequences