arXiv2git

Looks for github links from arXiv pages.

Что такое arXiv2git?

arXiv2git - это расширение Chrome, разработанное https://thoppe.github.io, и его основная функция - "Looks for github links from arXiv pages.".

Снимки экрана расширения

screenshot

Скачать файл 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 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"
    }
}