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:
- Code using GADT☆40Updated 4 years ago
- BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations☆89Updated 5 years ago
- An implementation of binary session types in OCaml☆38Updated 6 years ago
- ocaml multi-armed bandit module☆18Updated 5 years ago
- Feedback-directed optimizer for OCaml☆35Updated 4 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆17Updated 9 years ago
- Numpy file format support for ocaml.☆40Updated last year
- Canopy blog data that powers ICFP liveblog☆16Updated 9 years ago
- Stand-alone programs for numerical analysis in OCaml☆46Updated 10 years ago
- Easy to use Makefile for small to medium-sized OCaml-projects☆79Updated 4 months ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆38Updated 6 years ago
- Dockerfiles for data science in OCaml on Jupyter☆45Updated 8 years ago
- Learning to Blame Type Errors from Novice Mistakes☆10Updated 8 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆69Updated 7 months ago
- A new Unicode library for OCaml☆34Updated 11 years ago
- Multiparty Session Types in OCaml☆59Updated last year
- 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…☆74Updated 7 years ago
- Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.☆47Updated 2 weeks ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆45Updated 9 years ago
- Objective Caml binding embedding the R interpreter☆36Updated 2 years ago
- ☆60Updated 6 years ago
- The new home of OMake - docs, downloads, mailing list etc. see:☆67Updated last month
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆38Updated 6 months ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 8 years ago
- ☆26Updated 13 years ago
- MessagePack implementation for OCaml / msgpack.org[OCaml]☆46Updated 3 years ago
- Owl's Differential Equation Solvers☆35Updated 4 years ago
- DAFT Allows File Transfers☆23Updated 2 years ago
- Regular languages in types☆21Updated 8 years ago