ericpony/chrome-downloads-router-extension ericpony/chrome-downloads-router-extension

  • Stars
    star
    1
  • Language
    HTML
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ericpony/chrome-downloads-router-extension
github

ericpony

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

z3py-tutorial

HTML
131
star
2

comic-manager

32
star
3

java-lib-hxzon-git

JavaScript
5
star
4

spark-graphx-algorithms

Scala
5
star
5

polynomial-loop-invariant-synthesis

Loop invariant synthesis for annotated probabilistic loops
JavaScript
3
star
6

dafny-for-pregel

Dafny proofs for some Spark Pregel algorithms
Python
2
star
7

safety-prover

Inductive invariant synthesis via learning
Java
2
star
8

scalajs-examples

Scala
2
star
9

Scala-Lang-Resources

Scala
2
star
10

chrome-toolkit-extension

JavaScript
1
star
11

find-duplicate-files

Perl
1
star
12

chrome-code-outline-extension

An extension that provides code outline for source codes in GitHub
JavaScript
1
star
13

chrome-smooth-gestures-extension

CSS
1
star
14

js-slide-template

HTML
1
star
15

zero-log.maven

Automatically exported from code.google.com/p/zero-log.maven
1
star
16

highlight.js

A syntax highlighter that supports simple variable tracking
JavaScript
1
star
17

chrome-tab-manager

JavaScript
1
star
18

leon-playground

Scala
1
star
19

scala-examples

Scala
1
star
20

Cryptography

Programs and test data for problem sets
Java
1
star
21

libref

1
star
22

zero-log

Scala
1
star
23

leon-intellij-plugin

Scala
1
star
24

shell

A collection of useful/interesting scripts
Vim Script
1
star
25

latex-input

Enter Unicode characters using LaTeX notation
AutoHotkey
1
star
26

google-code-prettify

JavaScript
1
star
27

chrome-dictionary-extension

JavaScript
1
star
28

FLOLAC-2014

Agda
1
star
29

online-research-resources

1
star