modular-forms

Just like shadcn/ui but for Qwik.

Open source meetup alternative powered by Qwik

Formally verified modular-forms mathematics in Lean 4 + Mathlib: Ramanujan's τ function, his congruence τ(n) ≡ σ₁₁(n) (mod 691), and kernel-decided nonvanishing τ(n) ≠ 0 for all n ≤ 65536, toward Lehmer's conjecture.

Notes for Modular Forms (part of Advanced Number Theory, Master of Advanced Mathematics UAB/UB)

A creative toolkit for exploring modular forms and elliptic curves through Sonic Pi.

👻 Qwik and Supabase practice project

This repo contains functions about dihedral congruence for modular forms and computations on the trace of the symmetric square L function

HCT abc research papers, proof notes, and reproducible no-Magma Hecke quotient artifacts

Formalizing the geometry of secrecy. This repository maps discrete Gaussian distributions onto high-rank cyclotomic lattices to thwart Shor’s algorithm. By utilizing bilinear pairings and modular forms, we provide a rigorous framework for sovereign data at the singularity. Pure math, zero trust, infinite scaling.

Official repository for 'The Modular Spectrum of π'. Source code and proofs unifying the 6k ± 1 prime channel structure, Level 58 Ramanujan-Sato series (via PSLQ), and arithmetic supercongruences.

A lightweight architectural layer with built-in components for modular Angular reactive forms.

Algebraic invariant from the sixth triangular number, appearing across Gauss sums, Dirichlet class numbers, zeta ratios, and modular forms.

Mathematical Research Platform - A comprehensive web-based platform for elliptic curves, Galois theory, modular forms, topology, cryptography, and AI pattern recognition.

Conjecture B of Keith and Zanello is false: Lean 4 proof, paper and certificates

Verification code for "Arithmetic Geometry at the Pisot Boundary" — five arithmetic theorems and the Dimensional Norm-Hodge Theorem for the PDT polynomials

Usando la librería modular-forms en una app con Qwik y qwik-city

A study project tracing Fermat’s Last Theorem from first principles — Frey curve, modular forms, Galois representations, Serre-Ribet-Wiles contradiction — via a 487-node knowledge graph, 43/43 Python verification tests, and Lean 4 concept references. Built through human–AI collaboration using natural language alone. Not peer-reviewed.

Bachelor's thesis code (UGM, 2026): prime-detecting quasimodular forms H_k, congruence search in SageMath, and MacMahon partition functions

Reproduce Bessel 5 interval certificates and exact modular witnesses. All the work was done by AI; Bessel equalities remain conjectural.

Explicit Hilbert–Polya Jacobi matrices for zeta, Dirichlet beta and modular L-functions — forward construction from moments, open data, interactive site