Alternatives and similar repositories for cfg

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

• nandor / llir-opt
  LLIR cross-language post-link optimiser for OCaml and C
  ☆19Updated 3 years ago
• xavierleroy / camlidl
  Stub code generator for OCaml/C interface
  ☆36Updated 6 months ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 4 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 7 years ago
• backtracking / hashset
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Updated 11 months ago
• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 5 years ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆38Updated 4 years ago
• ismailbennani / websocketml
  A simple websocket library for OCaml with no dependencies
  ☆16Updated last year
• nobrakal / asak
  Identifying similar OCaml codes
  ☆30Updated last year
• tarides / ocaml-jit
  Just In Time compiler for OCaml native toplevel
  ☆60Updated 2 years ago
• mirage / ocaml-fat
  Read and write FAT format filesystems from OCaml
  ☆25Updated 8 months ago
• c-cube / mc2
  [research] A modular SMT solver in OCaml, based on mcSAT
  ☆39Updated 2 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆38Updated 6 years ago
• backtracking / bheap
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Updated 5 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 4 years ago
• ocaml / camlp-streams
  The Stream and Genlex libraries for use with Camlp4 and Camlp5
  ☆16Updated 3 months ago
• Octachron / phantom_algebra
  Small tensor library a la GLSL
  ☆17Updated 3 years ago
• rlepigre / ocaml-earley
  Parsing library based on Earley Algorithm
  ☆18Updated 8 months ago
• robur-coop / u2f
  U2F (FIDO Universal 2nd Factor) in OCaml
  ☆25Updated last year
• aryx / ocamltarzan
  DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml
  ☆16Updated last year
• vbmithr / ocaml-text
  OCaml-Text is a library for dealing with ``text'', i.e. sequence of unicode characters, in a convenient way.
  ☆19Updated 3 years ago
• gndl / graffophone
  Digital Audio Funstation
  ☆14Updated this week
• arjunguha / ocaml-z3
  ☆16Updated 6 years ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated last year
• OlivierNicole / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆22Updated last week
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 4 years ago
• b0-system / b0
  Software construction and deployment kit
  ☆36Updated 3 weeks ago
• dinosaure / mimic
  A dynamic way to instantiate an OCaml flow
  ☆17Updated last year
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 years ago
• igarnier / clustering
  An OCaml clustering library
  ☆20Updated 4 years ago