ice1000
Type theory daisuki
Funding Links: https://github.com/sponsors/ice1000
- Name: Tesla Zhang
- Location: Pennsylvania, Gensokyo
- Company: @plctlab
- Kind: user
- Followers: 3983
- Following: 744
- Total stars: 2212
- Repositories count: 37
- Created at: 2022-11-12T17:45:12.232Z
- Updated at: 2025-05-11T21:04:41.247Z
- Last synced at: 2025-05-11T21:04:41.246Z
GitHub Sponsors Profile
Selected contributions
Current focus: https://github.com/aya-prover/aya-dev
Popular libraries: https://github.com/ice1000/jimgui
- Current Sponsors: 4
- Past Sponsors: 5
- Total Sponsors: 9
- Minimum Sponsorship: $5.00
Featured Works
JetBrains/Arend
The Arend Proof Assistant
Language: Java - Stars: 713agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language: Haskell - Stars: 2634pest-parser/intellij-pest
pest grammar file support for all JetBrains IDEs
Language: Kotlin - Stars: 36lazyparser/weloveinterns
We ❤️ Interns!
Language: Makefile - Stars: 692ice1000/jimgui
💖 Pure Java binding for dear-imgui
Language: Java - Stars: 187Active Sponsors
czisky
matchy233
photonquantum
wsx-udscbt
Past Sponsors
kevinzonda
li-xin-yi
xxchan
seanjensengrey
Sponsor Breakdown
- User: 8
Active Sponsorships
View All
typst
Sponsorship Breakdown by Kind
- Organization: 1