Arnhav-Datar / EffPPL
Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
☆24Updated 2 years ago
Related projects: ⓘ
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Updated 10 months ago
- Plotting for ocaml based on matplotlib.pyplot☆31Updated 2 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Strongly typed multidimensional array library for OCaml☆52Updated 3 months ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Notes and findings from our OCaml benchmarking adventures☆48Updated last year
- Tools for record-and-replay debugging☆43Updated last year
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated last week
- OCaml behind the scenes: exceptions☆30Updated 11 months ago
- LexiFi runtime types☆33Updated 3 years ago
- LP and MIP modeling in OCaml☆27Updated 2 years ago
- ☆28Updated 4 months ago
- An OCaml library for creating pandoc filters.☆29Updated 9 months ago
- Property-based testing at ease☆43Updated 3 years ago
- IO should be just a library☆23Updated last year
- OCaml PPX deriver for reflection☆50Updated last year
- Effectful OCaml with Objects and Variants☆29Updated last year
- Feedback-directed optimizer for OCaml☆35Updated 3 years ago
- PBT testsuite and libraries for testing multicore OCaml☆37Updated this week
- OCaml hacking ideas, small and large.☆19Updated 5 months ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- Graphs of the various type conversions provided by the OCaml standard library.☆34Updated 4 years ago
- Interactive breakpoints!☆43Updated 4 months ago
- ☆22Updated 3 years ago
- Self-adjusting computations☆23Updated 11 months ago
- Parsing library based on Earley Algorithm☆17Updated 3 years ago
- Co-operative allocation of domains for OCaml☆15Updated last year
- Performance Application Programming Interface for OCaml☆16Updated last year
- Memory-efficient data structures in OCaml☆39Updated 2 years ago