ocaml-jupyter / jupyter-kernel
Library for writing arbitrary jupyter kernels in OCaml.
☆16Updated 2 years ago
Related projects: ⓘ
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆13Updated 3 months ago
- Binding to CRlibm☆14Updated last year
- An interval library for OCaml☆16Updated last year
- Performance Application Programming Interface for OCaml☆16Updated last year
- Experimental opam plugin☆17Updated 6 months ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆11Updated last year
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Updated 3 years ago
- Evaluate code through the OCaml toploop for inclusion in educational material.☆12Updated 9 years ago
- An OCurrent pipeline for testing submissions to opam-repository☆20Updated this week
- OCaml bindings to Minisat☆13Updated 4 months ago
- [wip]…Low level bindigs to the GR plotting framework (gr-framework.org)☆14Updated 3 years ago
- A small library for convenient printf debugging and function tracing☆27Updated last year
- A small library used to shadow polymorphic operators (and functions) contained in the stdlib.☆30Updated last year
- See http://rgrinberg.com/posts/deriving-slowly/☆9Updated 5 years ago
- J'ai plus mal à la tête maintenant☆27Updated 2 weeks ago
- File mapping☆13Updated 9 months ago
- ☆21Updated last year
- Convert file extensions to MIME types☆24Updated 11 months ago
- ☆13Updated 4 years ago
- Dissect OCaml compiled programs, and weight their content☆25Updated last year
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- Emacs client for statistical memory profiler☆16Updated 4 years ago
- Effects-based OCaml Nameserver☆14Updated 2 months ago
- ☆20Updated 5 years ago
- Interacting with cron from OCaml☆12Updated 2 years ago
- Regular languages in types☆21Updated 7 years ago
- [beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks☆17Updated 4 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆17Updated 3 years ago
- line based patch, input is a unified diff☆20Updated 5 months ago