Pinned Repositories
categorical_bpl
cs691PL
Exercises and code ripped-off from the UMass Amherst CS691PL course and Chlipala's "Certified Programming with Dependent Types"
dcpc_paper
decac
Automatically exported from code.google.com/p/decac
jllvm
Automatically exported from code.google.com/p/jllvm
lambda-learner
monad-bayes
A library for probabilistic programming in Haskell.
discopy
a toolbox for computing with monoidal categories
discopyro
A generative model of compositionality in symmetric monoidal (Kleisli) categories
HTFATorch
esennesh's Repositories
esennesh/dcpc_paper
esennesh/categorical_bpl
esennesh/jllvm
Automatically exported from code.google.com/p/jllvm
esennesh/decac
Automatically exported from code.google.com/p/decac
esennesh/monad-bayes
A library for probabilistic programming in Haskell.
esennesh/cs691PL
Exercises and code ripped-off from the UMass Amherst CS691PL course and Chlipala's "Certified Programming with Dependent Types"
esennesh/lambda-learner
esennesh/lazyarray
lazyarray is a Python package that provides a lazily-evaluated numerical array class, larray, based on and compatible with NumPy arrays.
esennesh/pyro
Deep universal probabilistic programming with Python and PyTorch
esennesh/generic-prior
esennesh/mfoppl
esennesh/boston-food
esennesh/brainiak
Brain Imaging Analysis Kit
esennesh/Calumbda
An implementation of C.S. Calude's "Anytime Algorithms for Non-Ending Computations" for the untyped lambda calculus
esennesh/combinators
Model Combinators for Probabilistic Torch
esennesh/cs7150_project_chyvae
esennesh/cv-management
The tools I use to manage my resume/CV
esennesh/esennesh.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
esennesh/grfp
LaTeX template for the NSF Graduate Research Fellowship Program (GRFP) application.
esennesh/kccs-paper-requirement
esennesh/lfads-pyro
A Pyro implementation of Latent Factor Analysis via Dynamical Systems (LFADS) and AutoLFADS.
esennesh/numpyro_template
Numpyro probabilistic programming projects made easy
esennesh/pymdp
A Python implementation of active inference for Markov Decision Processes
esennesh/pyro_template
Pyro deep probabilistic programming projects made easy.
esennesh/Shannon
esennesh/software_foundations_solutions