lo.logic type-theory dependent-type asked Apr 17 '11 at 15:41

lo.logic type-theory proof-assistants asked Mar 27 '11 at 23:35

python code-generation jinja2 asked Mar 6 '11 at 2:31

python csv python-3.x numpy pandas asked Dec 20 '13 at 4:47

lo.logic pl.programming-languages type-theory asked May 10 '11 at 16:15

distributions bayesian modeling prior maximum-entropy asked Jan 24 '11 at 18:02

algorithm scala data-structures clojure tree asked Dec 22 '12 at 22:38

reference-request probability-theory measure-theory asked May 1 '11 at 6:14

bayesian mcmc asked Mar 21 '11 at 15:51

python pandas asked Apr 4 '13 at 8:43