esennesh

jllvm

Automatically exported from code.google.com/p/jllvm

decac

Automatically exported from code.google.com/p/decac

categorical_bpl

monad-bayes

A library for probabilistic programming in Haskell.

cs691PL

Exercises and code ripped-off from the UMass Amherst CS691PL course and Chlipala's "Certified Programming with Dependent Types"

lambda-learner

pyro

Deep universal probabilistic programming with Python and PyTorch

generic-prior

mfoppl

ppc_experiments

boston-food

brainiak

Brain Imaging Analysis Kit

Calumbda

An implementation of C.S. Calude's "Anytime Algorithms for Non-Ending Computations" for the untyped lambda calculus

combinators

Model Combinators for Probabilistic Torch

cs7150_project_chyvae

cv-management

The tools I use to manage my resume/CV

esennesh.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

grfp

LaTeX template for the NSF Graduate Research Fellowship Program (GRFP) application.

kccs-paper-requirement

numpyro_template

Numpyro probabilistic programming projects made easy

pymdp

A Python implementation of active inference for Markov Decision Processes

pyro_template

Pyro deep probabilistic programming projects made easy.

Shannon

software_foundations_solutions