Zoey Sheffield (@zoeyfyi)
github

zoeyfyi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    412
  • Global Rank 68,451 (Top 3 %)
  • Followers 44
  • Following 26
  • Registered about 12 years ago
  • Most used languages
    TeX
         20.0 %
    Rust
         20.0 %
    Go
         20.0 %
    Jupyter Notebook
         10.0 %
    JavaScript
         10.0 %
    Agda     10.0 %
    C#
         10.0 %
  • Location 🇺🇸 United States
  • Country Total Rank 3,554
  • Country Ranking
    Agda     66
    Rust
         654
    C#
         1,159
    TeX
         2,022
    Go
         6,125

Top repositories

1

Boop-GTK

Port of @IvanMathy's Boop to GTK, a scriptable scratchpad for developers.
Rust
238
star
2

TeX-Match

Search through over 1000 different LaTeX symbols by sketching. A desktop version of detexify.
C#
151
star
3

goory

A go package for compiling syntax trees to LLVM ir and WebAssembly ir
Go
10
star
4

SmartHomeAdapters

TeX
4
star
5

Furlang

Go
2
star
6

detexify-rust

Port of detexify to rust.
Rust
2
star
7

uPortal-auto-screenshot

Screenshots each portlet in your uPortal instance.
JavaScript
2
star
8

agda-algebraic-graphs

Agda
1
star
9

StatsNotes

Notes for SS1 - SS6
TeX
1
star
10

ComputerScience

Jupyter Notebook
1
star