Alternatives and similar repositories for Zarith

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

• ocaml-community / yojson
  Low-level JSON parsing and pretty-printing library for OCaml
  ☆350Updated 3 weeks ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆163Updated 5 months ago
• c-cube / qcheck
  QuickCheck inspired property-based testing for OCaml.
  ☆376Updated this week
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆393Updated last month
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆257Updated last month
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆177Updated 3 months ago
• backtracking / ocamlgraph
  OCaml graph library
  ☆238Updated 3 weeks ago
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆505Updated last month
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆206Updated last year
• ocaml / odoc
  Documentation compiler for OCaml and Reason
  ☆333Updated this week
• ocaml / ocaml-re
  Pure OCaml regular expressions, with support for Perl and POSIX-style strings
  ☆237Updated last month
• ocaml-ppx / ppxlib
  Base library and tools for ppx rewriters
  ☆270Updated last week
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆248Updated last month
• OCamlverse / ocamlverse.github.io
  Documentation of everything relevant in the OCaml world
  ☆187Updated last week
• mirage / alcotest
  A lightweight and colourful test framework
  ☆482Updated 3 months ago
• dbuenzli / cmdliner
  Declarative definition of command line interfaces for OCaml
  ☆318Updated this week
• ocaml-ppx / ppx_deriving
  Type-driven code generation for OCaml
  ☆493Updated 3 weeks ago
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆168Updated last month
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆144Updated 3 weeks ago
• aantron / bisect_ppx
  Code coverage for OCaml and ReScript
  ☆310Updated 7 months ago
• mmottl / sqlite3-ocaml
  OCaml bindings to the SQLite3 database
  ☆123Updated last week
• ocaml / setup-ocaml
  GitHub Action for the OCaml programming language
  ☆212Updated this week
• pqwy / notty
  Declarative terminal graphics for OCaml
  ☆361Updated last year
• ocaml-sf / learn-ocaml
  A Web Application for Learning OCaml
  ☆314Updated last month
• ocaml-community / lambda-term
  Terminal manipulation library for OCaml
  ☆218Updated last week
• craigfe / progress
  Progress bar library for OCaml
  ☆141Updated last month
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆265Updated 11 months ago
• ocamllibs / pyml
  OCaml bindings for Python
  ☆198Updated last year
• mjambon / dune-starter
  Simple template for midsize OCaml project
  ☆125Updated 5 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆125Updated last month