Fibonacci-anyon topological quantum computing. Lean 4 proofs, SHA-520 cryptanalysis resource estimation.
lean4python
GitHub →
Quantum computational kernel. TDA-to-braid-to-lattice surgery pipeline for heavy-hex hardware.
pythonqiskit
GitHub →
Reverse quantum walk implementation for search and optimization on graph structures.
python
GitHub →
Quantum-enhanced UMAP dimensionality reduction with topological data analysis.
python
GitHub →
Computational engine for black hole physics. Hawking temperature, ISCO, photon sphere proofs.
pythonlean4
GitHub →
C++ compiler core with MLIR dialect, multiplicity functor, contractivity receipts, LLVM codegen.
c++mlir
GitHub →
Executable bridge: GKN quartic invariant to SUBLEQ machine code via ResonanceWord encoding.
pythonasm
GitHub →