CharlesCNorton/vmecpp-amalgamated
VMEC++ 3D MHD equilibrium solver merged into a single compilable C++ file (with abscab inlined).
machina sola regnat
Repositories
CharlesCNorton/stellarocq
Machine-checked plasma physics. Theorems and proof-carrying certificates for ideal-MHD stellarator equilibria, extracted from Rocq.
CharlesCNorton/provability-verified
The derivability conditions, proved from the inside: T₀ ⊢ σ → Prₖ(⌜σ(ẋ)⌝) for every Σ₁ formula σ, and T₀ ⊢ Prₖ(⌜A⌝) → Prₖ(⌜Prₖ(⌜A⌝)⌝), derived inside arithmetic and machine-checked in Rocq.
CharlesCNorton/tiling-verified
Formalizing parametric Löbian obstacle bypass.
CharlesCNorton/proof2weights
Verified extraction of neural network weights from proofs to deployable formats
CharlesCNorton/vmecpp
From-scratch C++ and Python reimplementation of the Variational Moments Equilibrium Code (VMEC).
CharlesCNorton/constitution-verified
Formalizing U.S. Constitutional structure.
CharlesCNorton/scoremill
Text-notation MIDI composition for agents
CharlesCNorton/VMEC2000
CharlesCNorton/STELLOPT
This is the GitHub repository for STELLOPT, the state-of-the-art stellarator optimization code.
CharlesCNorton/constellaration
Code for analyzing and evaluating stellarator plasma boundaries
CharlesCNorton/ml-diffucoder
DiffuCoder: Understanding and Improving Masked Diffusion Models for Code Generation
CharlesCNorton/fp64-emu
RARE: range-adaptive residue emulation of FP64 GEMM on integer tensor cores; exceeds native FP64 and GEMMul8 at matched accuracy
CharlesCNorton/PARVMEC
3D Equilibrium Solver
CharlesCNorton/indata2json
Converter for VMEC inputs (INDATA namelist) to JSON
CharlesCNorton/qiskit-calibration-drift
CharlesCNorton/intel-4004-verified
Formalizing the Intel 4004 microprocessor
CharlesCNorton/origami-verified
Formalizing origami geometry and numbers
CharlesCNorton/w7x-twin
Digital twin of the Wendelstein 7-X experimental stellarator
CharlesCNorton/omnia
Formalizing everything
CharlesCNorton/FLARE
CharlesCNorton/mafia-verified
Formalizing Cosa Nostra organizational structure
CharlesCNorton/1324
CharlesCNorton/1324-Avoiding-Permutation
Formalizing 1324-avoiding permutation bijections
CharlesCNorton/stamfordbridge-verified
Formalizing Battle of Stamford Bridge chronology.
CharlesCNorton/surfactant-verified
Formalizing surfactant administration criteria for neonatal RDS
CharlesCNorton/bellstaging-verified
Verified clinical decision system for neonatal NEC with executable extraction
CharlesCNorton/apgar-verified
Formalizing the APGAR score
CharlesCNorton/miklagard-verified
Formalizing Rus'-Byzantine treaty and Varangian service.
CharlesCNorton/ACE-Step
ACE-Step: A Step Towards Music Generation Foundation Model