Skip to content
You must be logged in to sponsor ice1000

Become a sponsor to Tesla Zhang‮

@ice1000

Tesla Zhang‮

ice1000
Pennsylvania, Gensokyo

Current sponsors 4

@CziSKY
@matchy233
@PhotonQuantum
@wsx-udscbt
Past sponsors 5
@KevinZonda
@li-xin-yi
@xxchan
@seanjensengrey
Private Sponsor

Featured work

  1. JetBrains/Arend

    The Arend Proof Assistant

    Java 692
  2. agda/agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 2,503
  3. pest-parser/intellij-pest

    pest grammar file support for all JetBrains IDEs

    Kotlin 35
  4. lazyparser/weloveinterns

    PLCT Lab ❤️ Interns!

    Makefile 622
  5. ice1000/jimgui

    💖 Pure Java binding for dear-imgui

    Java 186

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ a month

Choose a custom amount.

$5 a month

Select

A cup of Dairy Queen shake per month :)

$50 a month

Select

If you want me to do something for you (like revive some of my dead projects you need)