Discover @ice1000 Open Source projects

Tesla Zhang‮ (@ice1000)

ice1000

Stars
2,176
Global Rank 14,078 (Top 0.5 %)
Followers 3,901
Following 728
Registered almost 9 years ago
Most used languages

Kotlin
31.3 %

Java
18.8 %

C++
12.5 %

Typst 6.3 %

Haskell
6.3 %

TeX
6.3 %

Perl
3.1 %

Agda 3.1 %

Rust
3.1 %

C
3.1 %

Dart
3.1 %

TypeScript
3.1 %

resume

👾 My resume / 我的简历

jimgui

💖 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 ┗😃┛ ┏😃┓ ┗😃┛ ┏😃┓

dev-kt

🔮 Single file Kotlin/Java IDE features in lightweight.

CompilerWorks

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

Kt2Dart

🔦 [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

NppExtension

😃 Language extension for notepad++

algo4j

🏇 An algorithm library using java native interface

code_wars_android

💻 A mobile client for CodeWars

learn

📚 codes written while learning them.

guest0x0

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

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

🎼 A materially designed music player

arend-io

A toy IO library for Arend

intellij-bililive

Just for fun, 114594

AIAndroid

An Android UI framework for chatting APPs.

anqur

Elaboration with inductive types

Castle-game

Java&Kotlin Castle game(RPG)

text-sequence

Text sequence data structures

dialogs

This is a codeless and useless repo.

OI-codes

🔐 Solutions for online code challenges. Don't be evil.

copilot-learning-materials

My type-ups for copilot to learn from.

vscode-arend

VSCode extension for the Arend language

PlasticApp

💻 An Android app for learning of programming.

arend-language-server

A language server protocol implementation for Arend

gdx-box2d

Support ropes, up-to-date box2dLight

box2d-editor-2023

This is a higher-order fork of box2d-editor. I just did some obvious right things

ice1000

KitikuMaker

An extremely interesting Android app, playing kitiku sounds

website

Source code for ice1000.org

Artemis

Shooting Game editor