Skip to content
View junbinhuang's full-sized avatar
🏠
Working from home
🏠
Working from home
25 followers · 18 following

Achievements

Achievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: StarstruckAchievement: Pull Shark

Block or report junbinhuang

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

Pinned Loading

  1. DeepRitz DeepRitz Public

    Implementation of the Deep Ritz method and the Deep Galerkin method

    Python 65 19

  2. MOFEM MOFEM Public

    Overlapping finite element meshes in AMORE

    Python 11 2

  3. junbinhuang.github.io junbinhuang.github.io Public

    Junbin Huang's Personal Website

    CSS

  4. latexCV latexCV Public

    A simple CV template in LaTeX

    TeX

  5. lean-galois-solvability lean-galois-solvability Public

    Lean formalization of Galois's solvability-by-radicals criterion

    Lean

  6. 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 290 139