Discover @ericpony Open Source projects

@ericpony

ericpony

Stars
211
Global Rank 117,480 (Top 5 %)
Followers 38
Following 48
Registered about 11 years ago
Most used languages

JavaScript
30.8 %

Scala
26.9 %

HTML
11.5 %

Java
7.7 %

Python
3.8 %

AutoHotkey 3.8 %

Vim Script
3.8 %

Perl
3.8 %

CSS
3.8 %

Agda 3.8 %
Location 🇬🇧 United Kingdom
Country Total Rank 5,369
Country Ranking

Agda 43

AutoHotkey 63

HTML
225

Scala
268

Vim Script
699

Perl
702

CSS
3,609

Java
4,249

JavaScript
5,310

z3py-tutorial

comic-manager

java-lib-hxzon-git

spark-graphx-algorithms

polynomial-loop-invariant-synthesis

Loop invariant synthesis for annotated probabilistic loops

dafny-for-pregel

Dafny proofs for some Spark Pregel algorithms

safety-prover

Inductive invariant synthesis via learning

scalajs-examples

Scala-Lang-Resources

chrome-toolkit-extension

find-duplicate-files

chrome-code-outline-extension

An extension that provides code outline for source codes in GitHub

chrome-smooth-gestures-extension

js-slide-template

zero-log.maven

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

chrome-downloads-router-extension

highlight.js

A syntax highlighter that supports simple variable tracking

chrome-tab-manager

leon-playground

scala-examples

Cryptography

Programs and test data for problem sets

libref

zero-log

leon-intellij-plugin

shell

A collection of useful/interesting scripts

latex-input

Enter Unicode characters using LaTeX notation

google-code-prettify

chrome-dictionary-extension

FLOLAC-2014

online-research-resources