imandra-ai / vega-lite

Related projects: ⓘ

• polytypic / idle-domains
  Co-operative allocation of domains for OCaml
  ☆15Updated last year
• craigfe / ppx_irmin
  OCaml PPX extension for automatically generating Irmin types
  ☆11Updated 4 years ago
• RyanGibb / eon
  Effects-based OCaml Nameserver
  ☆14Updated 2 months ago
• pitag-ha / slack_bot
  ☆9Updated last year
• kit-ty-kate / opam-grep
  Script that greps anything in the sources of every opam packages
  ☆25Updated last year
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 4 years ago
• sanette / snoke
  Snóke is a good old Snake game with new ideas
  ☆21Updated last year
• yomimono / oauth2_server
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆19Updated 2 years ago
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆13Updated 4 months ago
• panglesd / ocaml-diffutils
  An ocaml library for manipulating diffs.
  ☆18Updated 7 months ago
• OCamlPro / agrid
  agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…
  ☆14Updated last year
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆17Updated 6 months ago
• ocaml-multicore / ocaml-iocp
  OCaml bindings to Windows' IOCP API
  ☆17Updated last year
• ocurrent / current_incr
  Self-adjusting computations
  ☆23Updated 11 months ago
• jfeser / bitarray
  Fast vectorized bitarrays for OCaml
  ☆15Updated last year
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆16Updated 5 months ago
• yomimono / ppx_deriving_crowbar
  a ppx_deriving plugin for crowbar generators
  ☆21Updated 5 years ago
• fabbing / obts_exn
  OCaml behind the scenes: exceptions
  ☆30Updated 11 months ago
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆18Updated 2 months ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 2 years ago
• nberth / mlgmpidl
  OCaml interface to the GMP library
  ☆13Updated 7 months ago
• dinosaure / hxd
  J'ai plus mal à la tête maintenant
  ☆27Updated 2 weeks ago
• pitag-ha / cardio-crumble
  Auditively feel the work of the runtime
  ☆31Updated 6 months ago
• craigfe / ocamlformat-vmux
  Version mulltiplexer for OCamlformat binaries.
  ☆10Updated 3 years ago
• dbuenzli / typegist
  Reflect the essence of OCaml types as values
  ☆14Updated last year
• c-cube / ocaml-avro
  Runtime library and schema compiler for the Avro serialization format
  ☆21Updated 2 years ago
• thedufer / httpaf_caged
  A higher-level httpaf server interface
  ☆13Updated 4 years ago
• kit-ty-kate / ocaml-monomorphic
  A small library used to shadow polymorphic operators (and functions) contained in the stdlib.
  ☆30Updated last year
• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆25Updated last year
• hannesm / patch
  line based patch, input is a unified diff
  ☆20Updated 5 months ago