12 open source projects by ice1000

My slides and notes

💖 Pure Java binding for dear-imgui

📚 codes written while learning them.

👾 My resume / 我的简历

A toy IO library for Arend

Constructive Interpretations of HoTT

Java&Kotlin Castle game(RPG)

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

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

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

This is a codeless and useless repo.

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