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