You must be logged in to sponsor ice1000
Become a sponsor to Tesla Zhang
- Selected contributions
- Current focus:https://github /aya-prover/aya-dev
- Popular libraries:https://github /ice1000/jimgui
Featured work
-
JetBrains/Arend
The Arend Proof Assistant
Java 691 -
pest-parser/intellij-pest
pest grammar file support for all JetBrains IDEs
Kotlin 35 -
lazyparser/weloveinterns
PLCT Lab ❤️ Interns!
HTML 607 -
ice1000/jimgui
💖 Pure Java binding for dear-imgui
Java 185