Boston, MA

Steven Holtzen

Advanced
@SHoltzen
www.khoury.northeastern.edu/home/sholtzen/

dice. Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

89

oplss24-code. OCaml

11

orbitgen. Python

4

tinyppl-lean. Lean

4

mlcuddidil. Fork of mlcuddidl for dice.

3

bngen. Generates Dice code from Bayesian networks

2

verified-sdd. Coq

1

cuda-hash. A CUDA project that calculates SHA-2 hashes using the GPU.

1
8
Apply