ice1000

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: 编译原理相关的工作岗位收集

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

learn

:books: 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

:musical_score: A materially designed music player

arend-io

A toy IO library for Arend

intellij-bililive

Just for fun, 114594

text-sequence

Text sequence data structures

dialogs

This is a codeless and useless repo.

OI-codes

:closed_lock_with_key: Solutions for online code challenges. Don't be evil.

anqur

Elaboration with inductive types

copilot-learning-materials

My type-ups for copilot to learn from.

vscode-arend

VSCode extension for the Arend language

arend-language-server

A language server protocol implementation for Arend

box2d-editor-2023

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

ice1000

Artemis

Shooting Game editor

gdx-box2d

Support ropes, up-to-date box2dLight

website

Source code for ice1000.org