Skip to content
View JaneShi99's full-sized avatar
🎯
Focusing
🎯
Focusing
24 followers · 23 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report JaneShi99

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
JaneShi99/README.md

Hi there 👋

Pinned Loading

  1. lift_g3_public lift_g3_public Public

    Lifting L polynomials of genus 3 curves

    M 1

  2. pomerance-p24 pomerance-p24 Public

    C 1

  3. Generalized-fermat Generalized-fermat Public

    A python implementation to the methods in "Platonic Solids and Solutions to X^2 + Y^3 = dZ^r" by Edward (Johnny) Jonathan Edwards

    Jupyter Notebook

  4. LMFDB/lmfdb LMFDB/lmfdb Public

    L-Functions and Modular Forms Database

    Python 303 244

  5. TauCetiProject/TauCeti TauCetiProject/TauCeti Public

    An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

    Lean 268 122

  6. CBirkbeck/LeanBridge CBirkbeck/LeanBridge Public

    Link LMFDB and Lean

    Lean 8 11