Andreas Stuhlmüller's repositories
scheme-listings
Scheme syntax highlighting for the LaTeX listings package.
scheme-tools
Code snippets used in more than one Scheme project.
logistician
Prototype computational experiments locally and deploy them to the cloud at scale
webppl-json
Utilities for reading and writing JSON files from webppl
church-oed
Stuff from long ago
Language:Scheme000
Language:PythonMIT000
isosmc
WebPPL library for specifying sequences of programs for SMC
Language:JavaScript000
melpa
Recipes and build machinery for the biggest Emacs package repo
NOASSERTION000
smartpages
SmartPages
Language:JavaScript000
webppl-gpt3
Probabilistic programming for the web
NOASSERTION000
Language:Jupyter Notebook000
webppl-timeit
Measure execution time of webppl functions