7
Repos
1.2k
Stars
308
Forks
1.2k
Watchers
Repositories (7)
resume
ice1000/resume
TeX
:space_invader: My resume / 我的简历
651
167
Books
ice1000/Books
Agda
My slides and notes
139
6
dev-kt
ice1000/dev-kt
Kotlin
:crystal_ball: Single file Kotlin/Java IDE features in lightweight.
94
6
CompilerWorks
ice1000/CompilerWorks
:octocat: 编译原理相关的工作岗位收集
87
7
Kt2Dart
ice1000/Kt2Dart
Haskell
:flashlight: [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again
84
4
NppExtension
ice1000/NppExtension
Perl
:smiley: Language extension for notepad++
75
105
learn
ice1000/learn
Haskell
:books: codes written while learning them.
47
13