arXiv2git
Looks for github links from arXiv pages.
Что такое arXiv2git?
arXiv2git - это расширение Chrome, разработанное https://thoppe.github.io, и его основная функция - "Looks for github links from arXiv pages.".
Снимки экрана расширения
Скачать файл CRX расширения arXiv2git
Скачайте файлы расширений arXiv2git в формате crx, установите расширения Chrome вручную в браузере или поделитесь файлами crx с друзьями, чтобы легко установить расширения Chrome.
Инструкции по использованию расширения
It's hard to search for code for papers like "t \bar{t} W production and decay at NLO". Some papers have a lot of links like "Deep Residual Learning for Image Recognition" and it may be hard to find all of them. This extensions tries to link the two together. Visit and arXiv page and if known github links exist then this extension will modify the page to show you where they are! Feedback welcome, but please leave it on the github project page.
Основная информация о расширении
Название | arXiv2git |
ID | gfhbipbocjiapodeflmklgnnnndplnpp |
Официальный URL | https://chromewebstore.google.com/detail/arxiv2git/gfhbipbocjiapodeflmklgnnnndplnpp |
Описание | Looks for github links from arXiv pages. |
Размер файла | 51.71 KB |
Количество установок | 144 |
Текущая Версия | 1.0 |
Последнее Обновление | 2016-05-11 |
Дата публикации | 2016-05-10 |
Рейтинг | 5.00/5 Всего 2 оценок |
Разработчик | https://thoppe.github.io |
Тип оплаты | free |
Официальный сайт расширения | https://github.com/thoppe/arXiv2git |
Поддерживаемые языки | en |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "manifest_version": 2, "name": "arXiv2git", "short_name": "arXiv2git", "version": "1.0", "description": "Looks for github links from arXiv pages.", "homepage_url": "https:\/\/github.com\/thoppe\/arXiv2git", "content_scripts": [ { "matches": [ "http:\/\/arxiv.org\/*", "https:\/\/arxiv.org\/*" ], "js": [ "jquery-2.2.3.min.js", "content.js" ], "css": [ "style.css" ] } ], "icons": { "16": "pencils16.png", "48": "pencils48.png", "128": "pencils128.png" } } |