freuk / obandit
ocaml multi-armed bandit module
☆18Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for obandit
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 8 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- OCaml implementation of histogram-approximation algorithm☆15Updated 2 years ago
- A repository of MetaOCaml packages☆12Updated last year
- A library for Gradual Certified Programming in Coq☆9Updated 9 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- Classification and Regression Performance Metrics library☆11Updated last year
- Extensible testsuite framework for OCaml☆11Updated 9 years ago
- OCaml back end for Idris☆22Updated 6 years ago
- A PPX extension for big array literals in OCaml☆20Updated 6 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated last month
- Formalising session types in Coq☆17Updated 5 years ago
- Configurable Cloudy Batch Scheduler☆16Updated 7 years ago
- An OCaml clustering library☆20Updated 3 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- Lenses in Coq☆16Updated 2 years ago
- Identifying similar OCaml codes☆29Updated 3 months ago
- Owl's Differential Equation Solvers☆34Updated 2 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdown☆15Updated 2 years ago
- Formally verified Coq serialization library with support for extraction to OCaml☆23Updated last year
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆18Updated last year
- ☆20Updated last year
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- Generic unification-based type inference library☆25Updated 9 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- Compilation and Verification of Data-Centric Languages☆56Updated 4 months ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 2 years ago
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Updated 2 weeks ago