Brandon H. Gomes (@bhgomes)
github

bhgomes

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    60
  • Global Rank 300,258 (Top 11 %)
  • Followers 153
  • Registered about 10 years ago
  • Most used languages
    Julia
         44.4 %
    Rust
         22.2 %
    Lean     22.2 %
    Python
         11.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 76,182
  • Country Ranking
    Lean     14
    Julia
         441
    Rust
         6,605

Top repositories

1

lean-riemann-hypothesis

Riemann Hypothesis in Lean
Lean
38
star
2

AbstractWallets.jl

Abstractions for Digital Wallets in Julia
Julia
5
star
3

UnitfulCurrency.jl

Currencies as Units!
Julia
3
star
4

SubTypes.jl

Custom Subtyping in Julia
Julia
3
star
5

subtornado

Rust
2
star
6

Feynman.jl

Feynman Diagrams for the Julian
Julia
2
star
7

oeis

interface to the OEIS
Python
2
star
8

ark-sapling-mpc-verify

Verify the Sapling MPC in Arkworks
Rust
1
star
9

jensen

a Lean implementation of Jensen's Inequality
Lean
1
star