SHoltzen/oplss24-code SHoltzen/oplss24-code

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    OCaml
  • Created 6 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SHoltzen/oplss24-code
github

SHoltzen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

dice

Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
OCaml
80
star
2

rsdd

Rust decision diagrams
Rust
8
star
3

mlcuddidil

Fork of mlcuddidl for dice.
C
3
star
4

orbitgen

Python
3
star
5

bngen

Generates Dice code from Bayesian networks
OCaml
2
star
6

rsbn

An implementation of Bayesian network inference in Rust.
Rust
2
star
7

cuda-hash

A CUDA project that calculates SHA-2 hashes using the GPU.
C++
1
star
8

verified-sdd

Coq
1
star