Alternatives and similar repositories for ocaml-minisat:

Users that are interested in ocaml-minisat are comparing it to the libraries listed below

• 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 2 years ago
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆16Updated 11 months ago
• dbuenzli / utext
  Unicode text for OCaml
  ☆14Updated 7 years ago
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 6 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated last year
• Firobe / ocaml-stdint-literals
  Small PPX for fixed size integer literals
  ☆10Updated 2 years ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 2 years ago
• Drup / modulectomy
  Dissect OCaml compiled programs, and weight their content
  ☆24Updated 2 years ago
• dinosaure / hxd
  J'ai plus mal à la tête maintenant
  ☆26Updated 3 months ago
• rgrinberg / deriving-slowly
  See http://rgrinberg.com/posts/deriving-slowly/
  ☆9Updated 5 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• jhjourdan / statmemprof-emacs
  Emacs client for statistical memory profiler
  ☆16Updated 5 years ago
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆16Updated last year
• hannesm / patch
  line based patch, input is a unified diff
  ☆24Updated 3 weeks ago
• 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
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆23Updated 2 weeks ago
• yomimono / ppx_deriving_crowbar
  a ppx_deriving plugin for crowbar generators
  ☆20Updated 5 years ago
• nojb / ocaml-obj-printer
  ☆20Updated 6 years ago
• AltGr / opam-ed
  A small command-line tool to help with mechanical edition of opam files
  ☆10Updated last year
• chambart / ocaml-nullable-array
  Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`
  ☆17Updated 3 years ago
• yurug / ocaml-crontab
  Interacting with cron from OCaml
  ☆14Updated 2 years ago
• dbuenzli / mtime
  Monotonic wall-clock time for OCaml
  ☆33Updated 6 months ago
• pascutto / cachecache
  Efficient caching library for OCaml
  ☆33Updated last year
• robur-coop / catty
  A unikernel as an IRC client
  ☆25Updated last year
• ocurrent / current_incr
  Self-adjusting computations
  ☆22Updated last year
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated 9 months ago
• nberth / mlgmpidl
  OCaml interface to the GMP library
  ☆13Updated last year
• kit-ty-kate / opam-grep
  Script that greps anything in the sources of every opam packages
  ☆24Updated 2 years ago
• OCamlPro / ocplib-json-typed
  Libraries for reliable manipulation JSON objects.
  ☆24Updated 2 years ago
• kit-ty-kate / waylaunch
  A program launcher for Wayland
  ☆14Updated last year