Highlights
- Pro
-
-
agda-mode Public
Accessing Agda's interaction mode via command line & external tactic for Agda.
-
gdx-box2d Public
Support ropes, up-to-date box2dLight
-
resume Public
👾 My resume / 我的简历
-
-
guest0x0 Public
Neon lights in the night tonight and stars that shine in the open sky
-
multi-school-sop Public template
A latex template for writing statement-of-purpose for many schools at the same time
-
A8Translate Public
一个无毒的Android Studio / IntelliJ IDEA 翻译插件
-
jimgui Public
💖 Pure Java binding for dear-imgui
-
anqur Public
Elaboration with inductive types
-
-
box2d-editor-2023 Public
This is a higher-order fork of box2d-editor. I just did some obvious right things
-
intellij-zig Public
The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓
-
arend-language-server Public
A language server protocol implementation for Arend
-
-
copilot-learning-materials Public
My type-ups for copilot to learn from.
-
-
dev-kt Public
🔮 Single file Kotlin/Java IDE features in lightweight.
-
text-sequence Public
Text sequence data structures
-
intellij-bililive Public
Just for fun, 114594
-
learn Public
📚 codes written while learning them.
-
algo4j Public
🏇 An algorithm library using java native interface
-
MapGen Public
A tiny program generates game maps
-
-
NppExtension Public
😃 Language extension for notepad++
-
OI-codes Public
🔐 Solutions for online code challenges. Don't be evil.
-
CompilerWorks Public
编译原理相关的工作岗位收集
-
-
Dekoder Public
🎼 A materially designed music player
-
code_wars_android Public
💻 A mobile client for CodeWars