repl.it download
Item media 1 screenshot

Overview

Adds a download button to repl.it

1.5 out of 52 ratings

Google doesn't verify reviews. Learn more about results and reviews.

Review's profile picture

unknownJan 22, 2021

doesn't work need an update

5 out of 6 people found this helpful
Review's profile picture

Bradford RegeskiAug 22, 2016

Great concept, but I couldn't get it working at all!

10 out of 11 people found this helpful

Details

  • Version
    1.0.1
  • Updated
    June 12, 2016
  • Offered by
    Amish Shah
  • Size
    110KiB
  • Languages
    English (UK)
  • Non-trader
    This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has not provided any information about the collection or usage of your data.

Support

Related

Replit Checkmarks

5.0(4)

Get unofficial checkmarks next to usernames on Replit!

Package Hub

5.0(2)

Display dependencies for many package managers on GitHub

Developer search tool

5.0(4)

Right click search tool for developers using chrome browser.

rawkit

0.0(0)

Open the node.js devtools from the command-line; no more clicking, selecting or copy & pasting.

Python Shell

4.2(209)

Python shell for your browser.

New Repl

5.0(2)

Quickly create a new repl on repl.it! (Not associated with repl.it)

ReplDM

4.7(9)

Adds direct messaging functionality to replit.com

Open GitHub in IDE

4.2(8)

Open GitHub files links in your IDE

Open in CodeSandbox

5.0(3)

Adds an open in CodeSandbox button to Github Repos

Repl.it PLUS

0.0(0)

Get better options using replit team. You can easily navigate throught the log of change and download files.

CodeSandbox

5.0(5)

Execute GitHub project in one Click

Discord Bot Client

2.8(281)

This extension allows you to use https://discordbotclient.jtmaveryk.repl.co

Replit Checkmarks

5.0(4)

Get unofficial checkmarks next to usernames on Replit!

Package Hub

5.0(2)

Display dependencies for many package managers on GitHub

Developer search tool

5.0(4)

Right click search tool for developers using chrome browser.

rawkit

0.0(0)

Open the node.js devtools from the command-line; no more clicking, selecting or copy & pasting.

Python Shell

4.2(209)

Python shell for your browser.

New Repl

5.0(2)

Quickly create a new repl on repl.it! (Not associated with repl.it)

ReplDM

4.7(9)

Adds direct messaging functionality to replit.com

Open GitHub in IDE

4.2(8)

Open GitHub files links in your IDE

Google apps