akabe / docker-iocaml-datascienceLinks
Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
☆28Updated 8 years ago
Alternatives and similar repositories for docker-iocaml-datascience
Users that are interested in docker-iocaml-datascience are comparing it to the libraries listed below
Sorting:
- ocaml multi-armed bandit module☆19Updated 5 years ago
- BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations☆88Updated 5 years ago
- Code using GADT☆40Updated 4 years ago
- ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OC…☆75Updated 6 years ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- Stand-alone programs for numerical analysis in OCaml☆47Updated 10 years ago
- Dockerfiles for data science in OCaml on Jupyter☆45Updated 7 years ago
- Canopy blog data that powers ICFP liveblog☆16Updated 8 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆45Updated 9 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Updated 9 years ago
- Deprecated, use ocaml-ppx/ppxlib instead☆10Updated 7 years ago
- OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)☆130Updated this week
- Feedback-directed optimizer for OCaml☆36Updated 4 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- Unicode text segmentation for OCaml☆24Updated last month
- Numpy file format support for ocaml.☆41Updated last year
- ☆86Updated last year
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated last week
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- ☆60Updated 6 years ago
- secret project☆17Updated 7 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Formal topology (and some probability) in Coq☆32Updated 6 years ago
- ☆31Updated 2 months ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 7 years ago
- Template Haskell Implementation of Egison Pattern Matching☆33Updated 5 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆67Updated 3 months ago
- Formalising Type Theory in a modular way for translations between type theories☆95Updated 7 years ago
- Accepted papers for ICFP 2015☆45Updated 9 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆27Updated 2 years ago