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

14 stars written in Ruby
Clear filter

rails / rails

Ruby on Rails

Ruby 57,982 22,113 Updated Dec 17, 2025

ruby / ruby

The Ruby Programming Language

Ruby 23,165 5,527 Updated Dec 17, 2025

mame / quine-relay

An uroboros program with 100+ programming languages

Ruby 14,285 559 Updated Oct 24, 2025

github-linguist / linguist

Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

Ruby 13,190 4,888 Updated Dec 12, 2025

ruby-china / homeland

🎪 An open source forum/community system based on Rails, developed based on Ruby China.

Ruby 3,853 1,196 Updated Nov 26, 2025

rouge-ruby / rouge

A pure Ruby code highlighter that is compatible with Pygments

Ruby 3,406 788 Updated Nov 18, 2025

thoughtbot / gitsh

An interactive shell for git

Ruby 1,957 101 Updated Apr 7, 2024

travis-ci / travis.rb

Travis CI Client (CLI and Ruby library)

Ruby 1,588 409 Updated Oct 25, 2024

envygeeks / jekyll-assets

🎨 Asset pipelines for Jekyll.

Ruby 1,122 168 Updated Feb 20, 2024

jasonbellamy / jekyll-mermaid

A Jekyll plugin to simplify the creation of mermaid diagrams and flowcharts in your posts and pages.

Ruby 137 24 Updated Apr 8, 2019

sxysxy / XYGui

A set of Gui tools for ruby. My first gem....

Ruby 16 1 Updated May 26, 2017

RGSS3 / Angen

Ange for Another Generator.

Ruby 13 Updated Mar 26, 2016

mayokaze / Nya

The Nya programming language

Ruby 8 1 Updated May 4, 2013

10XL / codewars-voter

vote on all katas you haven't already

Ruby 1 Updated Aug 2, 2017