Zeta611/stappl

🎲 Statically typed probabilistic programming language, feat. GADT

语言：OCaml · GitHub 星标：4 · Fork：1

话题：gadt · generalized-algebraic-data-type · ocaml · probabilistic-graphical-models · probabilistic-programming · type-system

在 GitHub 上查看原仓库