Pinned Repositories
bngen
Generates Dice code from Bayesian networks
cuda-hash
A CUDA project that calculates SHA-2 hashes using the GPU.
dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
mlcuddidil
Fork of mlcuddidl for dice.
oplss24-code
orbitgen
verified-sdd
SHoltzen's Repositories
SHoltzen/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
SHoltzen/oplss24-code
SHoltzen/mlcuddidil
Fork of mlcuddidl for dice.
SHoltzen/orbitgen
SHoltzen/bngen
Generates Dice code from Bayesian networks
SHoltzen/verified-sdd
SHoltzen/academic-page
SHoltzen/aima-pseudocode
Pseudocode descriptions of the algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
SHoltzen/al-folio
A beautiful Jekyll theme for academics
SHoltzen/autoencoder-knn
Classifying MNIST with Autoencoders and K-NN
SHoltzen/belkirk-jekyll-demo
SHoltzen/calc-example
An example of using generating syntax errors in OCaml and Menhir
SHoltzen/criterion.rs
Statistics-driven benchmarking library for Rust
SHoltzen/cs267a-latex-template
The LaTeX template for CS267A projects.
SHoltzen/cs4400-ocaml-starter
SHoltzen/CS7480-Reading-Fall21
SHoltzen/cudd
My branch of Cudd
SHoltzen/cudd-sys
A fork of cudd-sys
SHoltzen/cudd-sys-1
CU Decision Diagram library bindings for Rust
SHoltzen/cudd2-sys
Rust cudd bindings using bindgen
SHoltzen/dice-site
SHoltzen/jsoo
A minimal js-of-caml project
SHoltzen/learning-cpp
Me playing around in C++
SHoltzen/lll-sample
SHoltzen/mcmc-cpp
SHoltzen/rs-perm
A simple implementation of rust permutations
SHoltzen/RustDB
A database platform written in Rust
SHoltzen/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
SHoltzen/storm
A Modern Probabilistic Model Checker
SHoltzen/z3
The Z3 Theorem Prover