Skip to content
View ice1000's full-sized avatar
♾️
Generalizing something
♾️
Generalizing something
4k followers · 756 following

Sponsors

@CziSKY
@matchy233
@PhotonQuantum
@wsx-udscbt

Sponsoring

@typst

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pull Sharkx4Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Galaxy BrainAchievement: Starstruckx3Achievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@agda @JuliaEditorSupport @pest-parser @EmmyLua @ice1k @devkt-plugins @owo-lang @arend-lang @aya-prover @Lean-zh

Block or report ice1000

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (4)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

11 stars written in CSS
Clear filter

Aikoyori / ProgrammingVTuberLogos

High-quality PNGs for logos I made for fun

CSS 6,027 300 Updated Jun 3, 2024

rime / home

Rime::Home is home to Rime users and developers

CSS 4,704 240 Updated Dec 4, 2025

anmoljagetia / Flatabulous

This is a Flat theme for Ubuntu and other Gnome based Linux Systems.

CSS 3,624 231 Updated Oct 18, 2018

wintercn / dog-fucked-zhihu

退出知乎好帮手——狗日的知乎，备份自己的答案，取消所有点赞，批量替换所有答案

CSS 1,324 177 Updated Mar 30, 2017

caspartse / QQ-Groups-Spider

QQ Groups Spider（QQ 群爬虫）

CSS 863 353 Updated Dec 31, 2017

Thereisnospon / CodeView

android code highlight

CSS 581 78 Updated Jul 29, 2020

JetBrains / jetbrains_guide

JetBrains Guides where Developer Advocacy and the community share ideas.

CSS 167 42 Updated Apr 7, 2023

laike9m / zhihu-card

用卡片在个人网站上展示知乎账户

CSS 120 6 Updated Apr 24, 2022

openjdk / valhalla-docs

https://openjdk.org/projects/valhalla

CSS 62 18 Updated Nov 11, 2025

pest-parser / site

This repo contains the source code for https://pest.rs

CSS 13 15 Updated Sep 12, 2025

shiraji / shiraji.github.io

CSS 1 Updated Mar 17, 2018