Alternatives and similar repositories for OCaLustre:

Users that are interested in OCaLustre are comparing it to the libraries listed below

• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 6 years ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆32Updated 3 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆25Updated 3 years ago
• sanette / ocaml-api
  Proposition for modernizing the OCaml API from the official manual
  ☆10Updated 2 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆12Updated 11 months ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 3 months ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated 2 months ago
• OlivierNicole / macros-examples
  Examples to illustrate the use of experimental OCaml macros
  ☆12Updated 7 years ago
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆37Updated 9 months ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 3 years ago
• nberth / mlgmpidl
  OCaml interface to the GMP library
  ☆13Updated last year
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆16Updated 2 weeks ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆39Updated 9 months ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆52Updated 2 months ago
• OCamlPro / ocplib-simplex
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆14Updated 4 months ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated this week
• OCamlPro / ocplib-endian
  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
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10Updated 2 years ago
• Emmanuel-PLF / facile
  FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
  ☆14Updated last year
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 3 years ago
• igarnier / clustering
  An OCaml clustering library
  ☆20Updated 4 years ago
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆39Updated this week
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• nobrakal / asak
  Identifying similar OCaml codes
  ☆29Updated 8 months ago
• lemaetech / jsoo_todomvc
  Todo App implemented in js_of_ocaml
  ☆22Updated 4 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated last year
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• tomjridge / imp_fs
  ImpFS, a new filesystem.
  ☆20Updated 3 years ago