| Agda-zh/PLFA-zh |
165 |
|
0 |
0 |
about 3 years ago |
0 |
|
13 |
cc-by-4.0 |
Haskell |
| 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版 |
| jfroom/docker-compose-rails-selenium-example |
38 |
|
0 |
0 |
about 8 years ago |
0 |
|
1 |
mit |
Ruby |
| Docker Compose 3 techniques for: Rails 5.0 dev & Travis CI, caching bundler gems, and using selenium-webdriver. |
| e2/ruby_dep |
23 |
|
96,133 |
21 |
about 7 years ago |
7 |
October 09, 2016 |
11 |
mit |
Ruby |
| Automatically helps determine supported Rubies based on .travis.yml file |
| lrug/lrug.org |
14 |
|
0 |
0 |
about 2 years ago |
0 |
|
8 |
other |
Ruby |
| The middleman app we use to generate lrug.org |
| cldwalker/rbenv-travis |
11 |
|
0 |
0 |
about 14 years ago |
0 |
|
0 |
mit |
Ruby |
| Run travis tests locally using rbenv rubies |
| kubosho/review-boilerplate |
5 |
|
0 |
0 |
about 9 years ago |
0 |
|
0 |
mit |
CSS |
| :blue_book: Re:VIEWを使った執筆を始めるためのboilerplate |
