Skip to content
You must be logged in to sponsor ice1000

Become a sponsor to Tesla Zhang‮

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

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

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

    pest grammar file support for all JetBrains IDEs

    Kotlin 35
  4. lazyparser/weloveinterns

    PLCT Lab ❤️ Interns!

    Makefile 632
  5. ice1000/jimgui

    💖 Pure Java binding for dear-imgui

    Java 186

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)