Tesla Zhang‮

resume. :space_invader: My resume / 我的简历

jimgui. :sparkling_heart: Pure Java binding for dear-imgui

A8Translate. 一个无毒的Android Studio / IntelliJ IDEA 翻译插件

Books. My slides and notes

intellij-zig. The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓

dev-kt. :crystal_ball: Single file Kotlin/Java IDE features in lightweight.

CompilerWorks. :octocat: 编译原理相关的工作岗位收集

Kt2Dart. :flashlight: [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

NppExtension. :smiley: Language extension for notepad++

algo4j. :horse_racing: An algorithm library using java native interface

code_wars_android. :computer: A mobile client for CodeWars

guest0x0. Neon lights in the night tonight and stars that shine in the open sky

learn. :books: codes written while learning them.

multi-school-sop. A latex template for writing statement-of-purpose for many schools at the same time

agda-mode. Accessing Agda's interaction mode via command line & external tactic for Agda.

MapGen. A tiny program generates game maps

Dekoder. :musical_score: A materially designed music player

arend-io. A toy IO library for Arend

AIAndroid. An Android UI framework for chatting APPs.

intellij-bililive. Just for fun, 114594

text-sequence. Text sequence data structures

anqur. Elaboration with inductive types

Castle-game. Java&Kotlin Castle game(RPG)

website. Source code for ice1000.org

arend-language-server. A language server protocol implementation for Arend

ice1000.