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 685
  2. agda/agda

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

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

    pest grammar file support for all JetBrains IDEs

    Kotlin 34
  4. lazyparser/weloveinterns

    PLCT Lab ❤️ Interns!

    HTML 553
  5. ice1000/jimgui

    💖 Pure Java binding for dear-imgui

    Java 181

Learn more about sponsoring developers and organizations.

Report abuse

Select a tier

$ one time

Choose a custom amount.