Pinned Repositories
disintegrating-mixtures
khan-exercises
A framework for building exercises to work with Khan Academy.
lvars
A collection of prototype LVar implementations, tools, and mechanized semantics.
OCaml-tinkering
useful function implementations in OCaml
project_euler
Solutions to problems from Project Euler
sicp
My progress through Structure and Interpretation of Computer Programs
B629-probabilistic-programming
conditioning-lazy-partial-eval
data-mining
Data mining algorithms
pravnar's Repositories
pravnar/disintegrating-mixtures
pravnar/emacs-config
A repository of my .emacs and related elisp code
pravnar/conditioning-lazy-partial-eval
pravnar/tagless-lazy
pravnar/pos
part-of-speech tagger
pravnar/B629-probabilistic-programming
pravnar/lvars
A collection of prototype LVar implementations, tools, and mechanized semantics.
pravnar/sicp
My progress through Structure and Interpretation of Computer Programs
pravnar/data-mining
Data mining algorithms
pravnar/jack
A set of scripts for generating fully functional Java database models from Ruby's ActiveRecord models and migrations.
pravnar/pravnar.github.com
pravnar/OCaml-tinkering
useful function implementations in OCaml
pravnar/khan-exercises
A framework for building exercises to work with Khan Academy.
pravnar/project_euler
Solutions to problems from Project Euler