Skip to content
🦅
I want to apply for a Ph.D.
🦅
I want to apply for a Ph.D.

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@agda @JuliaEditorSupport @pest-parser @EmmyLua @ice1k @devkt-plugins @owo-lang @arend-lang
ice1000/README.md

Hi there 👋 I go by Tesla Ice Zhang. Typical usernames include ice1000 or tizusa.

Pinned

  1. The Arend Proof Assistant

    Java 419 21

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

    Haskell 1.3k 165

  3. pest grammar file support for all JetBrains IDEs

    Kotlin 25 3

  4. An experimental library for Cubical Agda

    Agda 186 55

  5. (WIP) Dependently-typed programming language with Agda style dependent pattern matching

    Rust 46 2

  6. 👾 My resume / 我的简历

    TeX 408 142

Contribution activity

July 2020

Created a pull request in JetBrains/intellij-arend that received 1 comment

Support string literals

+22 −4 1 comment

Created an issue in antlr/intellij-plugin-v4 that received 5 comments

Plugin exception

IDE: IC-202.6397.59 OS: Windows 10 2004 Stacktrace: ExternalToolPass: com.intellij.diagnostic.PluginException: annotator: org.antlr.intellij.plugin…

5 comments

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.