Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
cubical
An experimental library for Cubical Agda
aya-dev
A proof assistant and a dependently-typed language
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:┓
jimgui
:sparkling_heart: Pure Java binding for dear-imgui
multi-school-sop
A latex template for writing statement-of-purpose for many schools at the same time
resume
:space_invader: My resume / 我的简历
Arend
The Arend Proof Assistant
ice1000's Repositories
ice1000/resume
:space_invader: My resume / 我的简历
ice1000/jimgui
:sparkling_heart: Pure Java binding for dear-imgui
ice1000/A8Translate
一个无毒的Android Studio / IntelliJ IDEA 翻译插件
ice1000/Books
My slides and notes
ice1000/intellij-zig
The IntelliJ IDEA plugin for the Zig programming language ┗:smiley:┛ ┏:smiley:┓ ┗:smiley:┛ ┏:smiley:┓
ice1000/dev-kt
:crystal_ball: Single file Kotlin/Java IDE features in lightweight.
ice1000/CompilerWorks
:octocat: 编译原理相关的工作岗位收集
ice1000/NppExtension
:smiley: Language extension for notepad++
ice1000/algo4j
:horse_racing: An algorithm library using java native interface
ice1000/code_wars_android
:computer: A mobile client for CodeWars
ice1000/learn
:books: codes written while learning them.
ice1000/guest0x0
Neon lights in the night tonight and stars that shine in the open sky
ice1000/multi-school-sop
A latex template for writing statement-of-purpose for many schools at the same time
ice1000/agda-mode
Accessing Agda's interaction mode via command line & external tactic for Agda.
ice1000/MapGen
A tiny program generates game maps
ice1000/Dekoder
:musical_score: A materially designed music player
ice1000/arend-io
A toy IO library for Arend
ice1000/intellij-bililive
Just for fun, 114594
ice1000/anqur
Elaboration with inductive types
ice1000/text-sequence
Text sequence data structures
ice1000/dialogs
This is a codeless and useless repo.
ice1000/OI-codes
:closed_lock_with_key: Solutions for online code challenges. Don't be evil.
ice1000/copilot-learning-materials
My type-ups for copilot to learn from.
ice1000/vscode-arend
VSCode extension for the Arend language
ice1000/arend-language-server
A language server protocol implementation for Arend
ice1000/box2d-editor-2023
This is a higher-order fork of box2d-editor. I just did some obvious right things
ice1000/ice1000
ice1000/website
Source code for ice1000.org
ice1000/Artemis
Shooting Game editor
ice1000/gdx-box2d
Support ropes, up-to-date box2dLight