ericpony Goto Github PK

category-theory-for-the-working-programmer

chrome-code-outline-extension

An extension that provides code outline for source codes in GitHub

chrome-dictionary-extension

chrome-downloads-router-extension

chrome-smooth-gestures-extension

chrome-tab-manager

chrome-toolkit-extension

comic-manager

cryptography

Programs and test data for problem sets

dafny-for-pregel

Dafny proofs for some Spark Pregel algorithms

find-duplicate-files

flolac-2014

glpk.js

GNU Linear Programming Kit for Javascript

google-code-prettify

highlight.js

A syntax highlighter that supports simple variable tracking

ikioi

komica.cc

java-books-collections

:books:Java编程书籍收集分享。Java programming books collection to share.:rocket:

java-lib-hxzon-git

javascript-the-good-parts

A bit of JavaScript I threw together to help solidify what I had learned after watching Douglas Crockford's talks on the subject.

js-slide-template

latex-input

Enter Unicode characters using LaTeX notation

learning-multiplicity-automata

A MATLAB Implementation of the algorithm in Beimel, Amos, et al. "Learning functions represented as multiplicity automata." Journal of the ACM (JACM) 47.3 (2000): 506-530.

leon-intellij-plugin

leon-playground

libref

nfa-inclusion-checker

node-modules

node-thumbsup

Generate static HTML photo / video galleries

parsimmon

A monadic LL(infinity) parser combinator library for javascript

polynomial-loop-invariant-synthesis

Loop invariant synthesis for annotated probabilistic loops