search

ocaml-multicore / effects-examples

Examples to illustrate the use of algebraic effects in Multicore OCaml
ISC License
417 stars 35 forks source link

Adding EffPPL #25

Closed Arnhav-Datar closed 2 years ago

Arnhav-Datar commented 3 years ago

Adding a probabilistic programming library using effect handlers. It draws inspiration from the algorithmic_diffrentiation.ml for doing Hamiltonian Mote Carlo for inference.

dhil commented 2 years ago

Hi @Arnhav-Datar, apologies for the late response. This PR is somewhat out of scope of this repository. The principal idea behind this repository is to showcase succinct and self-contained examples of applications of effect handlers in OCaml. Your PR adds 100+ files and brings 400.000+ additions, which is simply too much.

A link to Effppl has been added to the README, c.f. https://github.com/ocaml-multicore/effects-examples/commit/84210276640e06a7b2defc4c325069b60e90698c.