imandra-ai / vega-lite
OCaml library to produce vega-lite visualizations (as json objects)
☆16Updated 2 years ago
Alternatives and similar repositories for vega-lite:
Users that are interested in vega-lite are comparing it to the libraries listed below
- Co-operative allocation of domains for OCaml☆14Updated 2 years ago
- ☆9Updated 2 years ago
- Auditively feel the work of the runtime☆29Updated 11 months ago
- Script that greps anything in the sources of every opam packages☆24Updated 2 years ago
- Lock-free Sets and Maps for OCaml multicore☆31Updated 2 years ago
- Self-adjusting computations☆22Updated last year
- OCaml behind the scenes: exceptions☆30Updated last year
- The caml walks, OCaml runs☆18Updated last year
- Unicode character database decoder for OCaml☆17Updated 3 months ago
- Final Year Project - A probabilisitic programming language in OCaml☆13Updated 4 years ago
- Alternative interpreter for OCaml format strings☆15Updated last year
- Experimental opam plugin☆16Updated 11 months ago
- Fast vectorized bitarrays for OCaml☆15Updated last year
- Libraries and tools to keep watch on you OCaml lib's API changes☆22Updated this week
- An ocaml library for manipulating diffs.☆19Updated last year
- line based patch, input is a unified diff☆23Updated 2 months ago
- A library for printing OCaml values with sharing☆24Updated 2 years ago
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Updated 2 years ago
- A small library used to shadow polymorphic operators (and functions) contained in the stdlib.☆29Updated 2 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Updated 5 months ago
- Emacs client for statistical memory profiler☆16Updated 4 years ago
- Snóke is a good old Snake game with new ideas☆21Updated last year
- Reflect the essence of OCaml types as values☆14Updated 2 months ago
- A high level DSP library in the OCaml language☆15Updated 3 weeks ago
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 2 months ago
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- Small PPX for fixed size integer literals☆10Updated 2 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- ☆14Updated last year