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.

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

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.

👻 Qwik and Supabase practice project

The Rankin–Selberg method for level-one cusp forms, formalised in Lean 4 with Mathlib: the simple pole of Σ|a(n)|²n⁻ˢ, L(f, 1+it) ≠ 0, a de la Vallée Poussin zero-free region and the explicit formula, each also stated for the discriminant Δ. Classical results, new formalisation. Unrefereed.

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

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.

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

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

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

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

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

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

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