ice1000 Goto Github PK

a8translate

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

agda-mode

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

aiandroid

An Android UI framework for chatting APPs.

algo4j

:horse_racing: An algorithm library using java native interface

anqur

Elaboration with inductive types

arend-io

A toy IO library for Arend

arend-language-server

A language server protocol implementation for Arend

artemis

Shooting Game editor

books

My slides and notes

box2d-editor-2023

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

castle-game

Java&Kotlin Castle game(RPG)

code_wars_android

:computer: A mobile client for CodeWars

compilerworks

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

copilot-learning-materials

My type-ups for copilot to learn from.

dekoder

:musical_score: A materially designed music player

dev-kt

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

dialogs

This is a codeless and useless repo.

gdx-box2d

Support ropes, up-to-date box2dLight

guest0x0

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

ice1000

intellij-bililive

Just for fun, 114594

intellij-zig

The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓

jimgui

:sparkling_heart: Pure Java binding for dear-imgui

kitikumaker

An extremely interesting Android app, playing kitiku sounds

kt2dart

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

learn

:books: codes written while learning them.

mapgen

A tiny program generates game maps

multi-school-sop

A latex template for writing statement-of-purpose for many schools at the same time

nppextension

:smiley: Language extension for notepad++

oi-codes

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