Ice1000's archives

ice1000's archive org, used to store naive or unimportant codes

Popular repositories

ConsHoTT Public

Constructive Interpretations of HoTT

TeX 34 2
Theorems Public

🌐 Theorems that rule this multiverse

Agda 9 2
FindLine Public

A JVM App used to distinguish lines in a png/jpg file

Kotlin 5
LearnEnglish Public

🇺🇸 My TOEFL exercise

Ruby 5 1
xjb Public

My Emacs/Bashrc configs and linux installer

Emacs Lisp 5
lua-full Public

A modified lua/lua-icxx/lua-intf for personal usage

C 4

libgdx Public
Desktop/Android/HTML5/iOS Java game development framework

Java 0 Apache-2.0 6,426 0 0 Updated Jun 18, 2023
xjb Public
My Emacs/Bashrc configs and linux installer

Emacs Lisp 5 MIT 0 0 0 Updated Jun 16, 2023
awesome-libgdx Public
🎮 📝 A curated list of libGDX resources to help developers make awesome games.

0 CC0-1.0 69 0 0 Updated May 13, 2023
rust-analyzer Public
A Rust compiler front-end for IDEs

Rust 0 Apache-2.0 1,283 0 0 Updated May 13, 2023
history Public
History of type theory (Chinese).

TeX 0 3 0 0 Updated Apr 23, 2023
vscode-markdown-it-katex Public
Add Math to your Markdown with a KaTeX plugin for Markdown-it

TypeScript 0 137 0 0 Updated Apr 17, 2023
Arend Public
The Arend Proof Assistant

Java 0 Apache-2.0 34 0 0 Updated Mar 21, 2023
weloveinterns Public
中科院软件所智能软件中心实习生社区

HTML 0 CC-BY-SA-4.0 109 0 0 Updated Feb 7, 2023
arend-lib Public

Java 0 23 0 0 Updated Feb 5, 2023
intellij-arend Public
Arend plugin for IntelliJ IDEA

Kotlin 0 Apache-2.0 15 0 0 Updated Aug 9, 2022

Loading…

Loading…