omega-coder

Lean proofs of quantitative gcd-quotient bounds and sharp fixed-dimensional orders for Erdos 539; accompanying paper and verification.

Machine-verified foundations for quantum field theory in Lean 4 (ACMD) — 2,553 kernel-checked theorem declarations. Every claim tiered; kills published next to the proofs.

AI4Math research directory: projects, mission status, and verification evidence.

Cloud-native genomic dataframes and batch computing

Multi-language algorithms, software architectures, design patterns, and computational scripts database

math with more good bits

Operator-theoretic analysis of Weil’s quadratic form: spectral screening, support filtrations, defect morphology, and Lean verification.

Arrays with arbitrarily nested named components.

The uncompromising Snakemake code formatter

Mirror of GetFEM repository

Standalone protocol & tooling for AI-agent exploration of unsolved math problems: machine-readable registry, AI-amenability triage, reproducible workspaces, and evidence bundles.

Rust-native framework for Edge AI CV inference.

"A theoretical framework and implementation for governing LLMs via Digital Wave Dynamics, latent space topology, and non-linear state control." "A mathematical and physical approach to LLM internals: Exploring digital wave mechanics, topological manifolds, and mechanistic interpretability."

Keystone CLOSED — 143*13+1859 | S14=14 q5=226 q6=165849 cf_bound=82829 | C(S4)=11.422>2√13 h=10 — P5_BSD_RH_closure_CLOSED — Lean 4.12 0 sorry — BSD 143a1 + RH — condensed 19→1 6cefaf3 PR78 green da3b943c662f vs 6ec00281c55d — Beal a2a23292

MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.

Small, hands-on experiments with big mathematical ideas. Pick one and play.

Lean 4 constructive combinatorial Poincare program: validated Pachner and vertex-link frontier with explicit open global-descent boundary.

An open-source, clean-room reimplementation of Adobe Photoshop in pure Rust

Multi-Engine Integer Factorization and Prime Analysis

Companion repository for "The truncated Weil quadratic form: inertia, visibility, structural measurements, and no-go theorems for the Riemann Hypothesis" by Logan Eberwein. Computation scripts and outputs (arb/mpmath), reproduction data for every table, and the full operator-candidate ledger (OPERAT