Alternatives and similar repositories for ocaml-minisat

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

• anmonteiro / eio-ssl
  OpenSSL bindings to OCaml EIO
  ☆20Updated last year
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• 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
• tmattio / yoshi
  Convert Markdown and YAML Data to OCaml Modules
  ☆17Updated 2 years ago
• jhjourdan / statmemprof-emacs
  Emacs client for statistical memory profiler
  ☆17Updated 5 years ago
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 7 years ago
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆25Updated 6 months ago
• Firobe / ocaml-stdint-literals
  Small PPX for fixed size integer literals
  ☆10Updated 2 years ago
• mirage / ocaml-magic-mime
  Convert file extensions to MIME types
  ☆23Updated last year
• ocaml-doc / voodoo
  ☆15Updated last year
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆16Updated last year
• patricoferris / ocaml-cid
  Content-addressed identifiers in OCaml
  ☆15Updated 2 years ago
• pascutto / cachecache
  Efficient caching library for OCaml
  ☆33Updated last year
• sidsabh / MirageRaft
  experiments on distributed unikernels
  ☆16Updated 9 months ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated 2 years ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated last year
• dbuenzli / typegist
  Reflect the essence of OCaml types as values
  ☆14Updated 9 months ago
• aionescu / vec
  Fast, safe mutable dynamic arrays for OCaml
  ☆28Updated last year
• tomjridge / imp_fs
  ImpFS, a new filesystem.
  ☆21Updated 3 years ago
• let-def / distwit
  Distribute/marshal instances of ocaml extensible variant types and exceptions
  ☆16Updated 8 years ago
• AltGr / opam-ed
  A small command-line tool to help with mechanical edition of opam files
  ☆10Updated 2 years ago
• backtracking / hashset
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Updated 7 months ago
• yomimono / ppx_deriving_crowbar
  a ppx_deriving plugin for crowbar generators
  ☆20Updated 6 years ago
• kit-ty-kate / waylaunch
  A program launcher for Wayland
  ☆14Updated last year
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 5 years ago
• dbuenzli / utext
  Unicode text for OCaml
  ☆14Updated 7 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 5 months 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 3 years ago
• thedufer / httpaf_caged
  A higher-level httpaf server interface
  ☆12Updated 5 years ago
• ocaml-multicore / domain-local-await
  A scheduler independent blocking mechanism
  ☆19Updated last year