pravnar/B629-probabilistic-programming
Public repository.
Developer Profile
pravnar
Discovered public repositories for pravnar in the GitHub catalog.
pravnar/lvars
A collection of prototype LVar implementations, tools, and mechanized semantics.
pravnar/data-mining
Data mining algorithms
pravnar/sicp
My progress through Structure and Interpretation of Computer Programs
pravnar/emacs-config
A repository of my .emacs and related elisp code
pravnar/jack
A set of scripts for generating fully functional Java database models from Ruby's ActiveRecord models and migrations.
pravnar/pravnar.github.com
Public repository.
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