freuk / obanditLinks
ocaml multi-armed bandit module
☆19Updated 5 years ago
Alternatives and similar repositories for obandit
Users that are interested in obandit are comparing it to the libraries listed below
Sorting:
- A Datalog implementation with an OCaml inspired module system☆43Updated 6 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆16Updated 3 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 9 years ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- Configurable Cloudy Batch Scheduler☆16Updated 7 years ago
- An OCaml clustering library☆20Updated 4 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- Stand-alone programs for numerical analysis in OCaml☆47Updated 10 years ago
- Strongly typed multidimensional array library for OCaml☆53Updated 7 months ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- A library of splittable pseudo-random number generators for OCaml☆35Updated 7 months ago
- Code for "Staged Generic Programming" (ICFP 2017)☆27Updated 2 years ago
- 🌳 Generate a fresh bonsai in your terminal☆28Updated 3 years ago
- An OCaml EDSL for describing and solving strategic games☆17Updated last year
- Deprecated, use ocaml-ppx/ppxlib instead☆10Updated 7 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- Tactic for polynomial manipulations☆11Updated 3 months ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Work on modular implicits☆24Updated 6 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 7 years ago
- Identifying similar OCaml codes☆29Updated last year
- Numpy file format support for ocaml.☆41Updated last year
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Updated last week
- A PPX extension for big array literals in OCaml☆20Updated 7 years ago
- a solver for opam packages using 0install's solver engine☆22Updated last month
- Formally verified Coq serialization library with support for extraction to OCaml☆24Updated last year
- OCaml backend for Agda☆40Updated 6 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 5 years ago
- nix expressions for the official opam repository, using opam2nix☆28Updated 4 years ago