Steven Holtzen (@SHoltzen)
github

SHoltzen

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    94
  • Global Rank 217,299 (Top 8 %)
  • Followers 37
  • Following 5
  • Registered over 14 years ago
  • Most used languages
    OCaml
         33.3 %
    Rust
         22.2 %
    C++
         11.1 %
    C
         11.1 %
    Python
         11.1 %
    Coq     11.1 %
  • Location 🇺🇸 United States
  • Country Total Rank 50,078
  • Country Ranking
    OCaml
         80
    Coq     240
    Rust
         3,635

Top 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

oplss24-code

OCaml
4
star
4

mlcuddidil

Fork of mlcuddidl for dice.
C
3
star
5

orbitgen

Python
3
star
6

bngen

Generates Dice code from Bayesian networks
OCaml
2
star
7

rsbn

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

cuda-hash

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

verified-sdd

Coq
1
star