Pinned Loading

1. ocamlzar ocamlzar Public

   Formally verified discrete samplers in OCaml.

   OCaml 6 2

2. sexp-trees sexp-trees Public

   Interactive s-expression tree viewer

   JavaScript 11 3

3. ensemble_detect_adv ensemble_detect_adv Public

   Training Ensembles to Detect Adversarial Examples

   Python 9 3

4. nash nash Public

   Mixed nash equilibrium solver

   C++ 2 1

5. holyc_mal holyc_mal Public

   Mal Lisp for TempleOS

   HolyC 114 11

6. zar zar Public

   Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning

   Coq 6 1