Discover @gingerhot Open Source projects

B1nj0y (@gingerhot)

gingerhot

Stars
50
Global Rank 341,187 (Top 12 %)
Followers 56
Following 50
Registered over 12 years ago
Most used languages

Haskell
23.1 %

Ruby
15.4 %

Perl
15.4 %

Shell
15.4 %

Python
15.4 %

Go
7.7 %

HTML
7.7 %
Location 🇨🇳 China
Country Total Rank 34,838
Country Ranking

Haskell
53

Perl
217

Ruby
511

Shell
2,657

Go
3,854

HTML
9,848

joker

🤡 A commandline tool helps to check your dev environment.

iruby_gem

Install gems in Jupyter notebook or IRB/Pry console on the fly.

asdf-coq

🐓 Coq plugin for ASDF version manager.

conque-term-vim

A mirror repo of the ConqueTerm vim plugin.

font-mfizz-rails

The font-mfizz font bundled as an asset for the rails asset pipeline.

QQLog-HaskellChina

QQ Group Log of HaskellChina User Group

IpSpliter

coq-versions

🐓 All available Coq versions.

plenv-installer

This tool is used to install `plenv` and friends.

tw_quiz

A Quiz from ThoughtWorks Open Day

download_mscz

haskell-base

repoed here for reading offline

latexmk

A personal repo of Latexmk for learning purpose